Author/copyright info.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6024 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/README.txt

@@ -82,6 +82,8 @@ PRISM was created and is still actively maintained by:
 We gratefully acknowledge contributions to the PRISM code-base from various sources,
 including (in approximately reverse chronological order):
 
+ * Mateusz Ujma: Bug fixes and GUI improvements
+ * Vojtech Forejt: Symbolic/explicit-state model checking, GUI enhancements
  * Vincent Nimal: Approximate (simulation-based) model checking techniques
  * Mark Kattenbelt: Wide range of enhancements/additions, especially in the GUI
  * Carlos Bederian (working with Pedro D'Argenio): LTL model checking for MDPs

prism/src/userinterface/properties/GUIMultiProperties.java

@@ -7,6 +7,7 @@
 //	* Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk> (University of Oxford, formerly University of Birmingham)
 //	* Vincent Nimal <vincent.nimal@comlab.ox.ac.uk> (University of Oxford)
 //	* Vojtech Forejt <vojtech.forejt@cs.ox.ac.uk> (University of Oxford)
+//	* Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk> (University of Oxford)
 //	
 //------------------------------------------------------------------------------
 //