diff --git a/README.md b/README.md index 55db85cda2a8ba8bd5c8f58d7513bee708efb4e3..669266c71bf8d47028923db302b297e48baef243 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,9 @@ -Program Specification & Verification Group Website -================================================== +Program Specification & Verification Group Website: http://psvg.doc.ic.ac.uk/ +============================================================================= [](https://gemnasium.com/6ba7afbbfda9adcba06f007cc565a29a) -The source code for [this site](http://www-rr.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk), +The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/www-rw.doc.ic.ac.uk), you should have access to edit it if a member of the resource-reasoning group. Technical Detail