From c87343aa94056e4bddd415134100ea4a15a462ee Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 1 Jun 2011 19:54:19 +0000 Subject: [PATCH] Affiliation in README. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3015 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/prism/README.txt b/prism/README.txt index a94583e5..a0ea3868 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -77,7 +77,7 @@ ACKNOWLEDGEMENTS ---------------- Currently, development work on PRISM is primarily carried out in the -Computing Laboratory at the University of Oxford. Previously, PRISM +Department of Computer Science at the University of Oxford. Previously, PRISM was based in the School of Computer Science at the University of Birmingham. The core team working on PRISM currently comprises: @@ -117,8 +117,9 @@ If you have problems or questions regarding PRISM, please use the help forum pro Other comments and feedback about any aspect of PRISM are also very welcome. Please contact: Dave Parker - (david.parker@comlab.ox.ac.uk) - Oxford University Computing Laboratory + (david.parker@cs.ox.ac.uk) + Department of Computer Science + University of Oxford Wolfson Building Parks Road Oxford