From e715cf3c8bee67adf2f22c4d80d7d654a80d75ad Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 6 Dec 2007 11:11:33 +0000 Subject: [PATCH] Updated more email addresses, affiliations, etc. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@548 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/README.txt | 61 ++++++++++++++++----------------- prism/nsis_script.nsi | 10 +++--- prism/src/parser/PrismParser.jj | 2 +- 3 files changed, 36 insertions(+), 37 deletions(-) diff --git a/prism/README.txt b/prism/README.txt index d041c2d9..6738ebbf 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -10,7 +10,7 @@ INSTALLATION For detailed installation instructions, check the online manual at: - http://www.cs.bham.ac.uk/~dxp/prism/manual/InstallingPRISM/Instructions + http://www.prismmodelchecker.org/manual/InstallingPRISM/Instructions or see the local copies included in this distribution: @@ -40,7 +40,7 @@ DOCUMENTATION The best source of information about using PRISM is the online manual: - http://www.cs.bham.ac.uk/~dxp/prism/manual/ + http://www.prismmodelchecker.org/manual/ You can also view the local copies included in this distribution: @@ -49,7 +49,7 @@ You can also view the local copies included in this distribution: For other PRISM-related information, see the website: - http://www.cs.bham.ac.uk/~dxp/prism/ + http://www.prismmodelchecker.org/ --------- @@ -71,32 +71,30 @@ library, see: ---------------- ACKNOWLEDGEMENTS ----------------- - -The core team behind the development of PRISM, working in the School of Computer Science at the University of Birmingham, comprises: - - - Dave Parker - - Gethin Norman - - Marta Kwiatkowska - - Mark Kattenbelt +---------------- -Much of the work on the GUI and simulator was originally done by: +The core team behind the development of PRISM, previously working in the +School of Computer Science at the University of Birmingham and now working +in the Computing Laboratory at the University of Oxford, comprises: - - Andrew Hinton - -We also gratefully acknowledge contributions by: - - - Paolo Ballarini - - Kenneth Chan - - Stephen Gilmore - - Rashid Mehmood - - Joachim Meyer-Kayser - - Fabio Somenzi - - Alistair John Strachan + * Dave Parker + * Gethin Norman + * Marta Kwiatkowska + * Mark Kattenbelt + +Contributions to the development of PRISM have also been gratefully received from: + + * Andrew Hinton: Original versions of the GUI, Windows-port and simulator + * Joachim Meyer-Kayser: Implementation of the "Fox-Glynn" algorithm + * Alistair John Strachan: Port to 64-bit architectures + * Stephen Gilmore: Support for the stochastic process algebra PEPA + * Paolo Ballarini & Kenneth Chan: Port of PRISM to Mac OS X + * Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms + * Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM For more details see: - http://www.cs.bham.ac.uk/~dxp/prism/people.php + http://www.prismmodelchecker.org/people.php ------- @@ -105,15 +103,16 @@ CONTACT If you have problems or questions regarding PRISM, please use the help forum provided. See: - http://www.cs.bham.ac.uk/~dxp/prism/support.php + http://www.prismmodelchecker.org/support.php Other comments and feedback about any aspect of PRISM are also very welcome. Please contact: Dave Parker - (dxp@cs.bham.ac.uk) - School of Computer Science - University of Birmingham - Edgbaston - Birmingham - B15 2TT + (david.parker@comlab.ox.ac.uk) + Oxford University Computing Laboratory, + Wolfson Building + Parks Road + Oxford + OX1 3QD ENGLAND + diff --git a/prism/nsis_script.nsi b/prism/nsis_script.nsi index 7672e084..f2dff272 100644 --- a/prism/nsis_script.nsi +++ b/prism/nsis_script.nsi @@ -2,8 +2,8 @@ ; ; Copyright (c) 2002- ; Authors: -; * Mark Kattenbelt (University of Birmingham) -; * Dave Parker (University of Birmingham) +; * Mark Kattenbelt (University of Oxford, formerly University of Birmingham) +; * Dave Parker (University of Oxford, formerly University of Birmingham) ; ;------------------------------------------------------------------------------ ; @@ -70,7 +70,7 @@ ComponentText "Please select the components you wish to install." Section "" SetOutPath "$INSTDIR" - ;WriteRegStr HKEY_LOCAL_MACHINE "SOFTWARE\University of Birmingham\${PRISM_BUILD}" "" "$INSTDIR" + ;WriteRegStr HKEY_LOCAL_MACHINE "SOFTWARE\University of Oxford\${PRISM_BUILD}" "" "$INSTDIR" ;WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\${PRISM_BUILD}" "DisplayName" "${PRISM_NAME}(remove only)" ;WriteRegStr HKEY_LOCAL_MACHINE "Software\Microsoft\Windows\CurrentVersion\Uninstall\${PRISM_BUILD}" "UninstallString" '"$INSTDIR\uninstall.exe"' @@ -140,12 +140,12 @@ Section "Start menu shortcuts" SW_SHOWNORMAL "" "The PRISM manual (local copy)" CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\Manual (online).lnk" \ - "http://www.cs.bham.ac.uk/~dxp/prism/manual/" "" \ + "http://www.prismmodelchecker.org/manual/" "" \ "" "" \ SW_SHOWNORMAL "" "The PRISM manual (online version)" CreateShortCut "$SMPROGRAMS\${PRISM_NAME}\Web site.lnk" \ - "http://www.cs.bham.ac.uk/~dxp/prism/" "" \ + "http://www.prismmodelchecker.org/" "" \ "" 0 \ SW_SHOWNORMAL "" "The PRISM web site" diff --git a/prism/src/parser/PrismParser.jj b/prism/src/parser/PrismParser.jj index 58758bd5..ff7581cf 100644 --- a/prism/src/parser/PrismParser.jj +++ b/prism/src/parser/PrismParser.jj @@ -2,7 +2,7 @@ // // Copyright (c) 2002- // Authors: -// * Dave Parker (University of Birmingham) +// * Dave Parker (University of Oxford, formerly University of Birmingham) // //------------------------------------------------------------------------------ //