Dave Parker
|
d41897dce9
|
Added Alistair to acknowledgements.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@293 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
e80af1a74b
|
Make sure 3.1->3.1.1 changes included in trunk.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@256 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
4acf85712b
|
Updated acknowledgements in README.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@254 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
5064ae83f1
|
Synch with updates to README/VERSIONS/CHANGELOG made for 3.1.beta1 -> 3.1.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@158 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
c002cbd19f
|
Updated version info: 3.1.beta1.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@104 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
19 years ago |
|
Dave Parker
|
031c8968b1
|
Final changes for 3.0 release.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@55 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
|
Dave Parker
|
963962da84
|
New README.txt (installation instructions now in manual).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@54 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
|
Dave Parker
|
f4917ae3ad
|
Preparations for 3.0.beta1 release.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@44 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
|
Dave Parker
|
b54050a199
|
PRISM trunk layout rearrangement.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
|
Dave Parker
|
30e24567d5
|
Setting trunk version of PRISM to 2.1.dev11.sim8.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
20 years ago |
