Dave Parker
|
2eaee4ef55
|
4.0.1 release notes.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3293 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
b92179d182
|
VERSIONS/CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2906 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
ac5759bd7c
|
Line endings in VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2244 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
15 years ago |
Dave Parker
|
1368879c29
|
Formatting in text files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1708 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
389d6ee2c7
|
Formatting in text files.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1707 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
b5f4b47fd2
|
CHANGELOG and VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1667 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
16 years ago |
Dave Parker
|
bf28deeddd
|
Pre-3.3-release stuff.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1073 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
17 years ago |
Dave Parker
|
3a29937ea4
|
Unix2dos.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@777 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
dfc614d703
|
CHANGELOG/VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@567 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 years ago |
Dave Parker
|
bfa9ab8bd9
|
CHANGELOG/VERSIONS.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@556 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
18 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
|
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
|
7c232b8ce5
|
CHANGELOG/VERSIONS update.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@112 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
|
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 |