Dave Parker
|
55cfb8f400
|
Move text files up to top-level and Markdownify README.
|
7 years ago |
Dave Parker
|
84230b1bbb
|
Changelog.
|
7 years ago |
Joachim Klein
|
ead6f01343
|
PrismSettings: adapt JavaDoc to recent change in settings file location, CHANGELOG.TXT
|
8 years ago |
Dave Parker
|
940674370c
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12165 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
9 years ago |
Dave Parker
|
a0ab7b461f
|
Date fix in CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12162 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
9 years ago |
Dave Parker
|
2e3b5fdc5b
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12159 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
9 years ago |
Dave Parker
|
42bec3f813
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12157 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
9 years ago |
Dave Parker
|
c19384d343
|
Document -timeout switch.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12151 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
9 years ago |
Dave Parker
|
4b1fbe2ba0
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11368 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
10 years ago |
Dave Parker
|
1aa8a3eb71
|
CHANGELOG update.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11364 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
10 years ago |
Dave Parker
|
2226e6eb91
|
Version num 4.3 -> 4.3.1 (keep in sync with minor change to public release).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11357 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
10 years ago |
Dave Parker
|
7456dbf2fe
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10688 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
10 years ago |
Dave Parker
|
9fd1716ab5
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10298 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
786797c467
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10290 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
0328e60ac2
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10280 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
49a8d6ac70
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10279 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
5a672cf19b
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10278 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
fc5464bee6
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10271 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
8aa9d24f5d
|
Colour code test results from prism-auto script.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10251 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
a14e6a39f9
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10241 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
30f7b0c744
|
Clarify that -exact is experimental (still fails various regression tests).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10214 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
bcd8a73526
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10198 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
0495f3bcb4
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10187 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
5a809180ba
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10186 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
cb294345ee
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9655 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
43a58adaca
|
Version/changelog - 4.2.1.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9375 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
11 years ago |
Dave Parker
|
850ed89353
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8224 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
e124caac03
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8215 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
93a924e3fb
|
CHANGELOG typo.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7598 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
41441505bf
|
Update CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7595 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
ab27368af2
|
Update CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7594 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
cdb6b005d5
|
Update CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7574 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
3f8ad9c0e7
|
Add "labels" option to Model|View menu in GUI.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7572 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
6b8be0c61a
|
Update CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7569 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
12 years ago |
Dave Parker
|
0057407e16
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7167 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
5d1fcbbfdd
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6887 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
0c229d3a39
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6854 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
26c27d3af5
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6837 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
24f7ac5a01
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6830 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
7ad6d925bd
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6826 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
e4956d786f
|
Allow command-line switches of form --sw (as well as -sw).
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6823 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
966d126948
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6734 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
8e743d142d
|
Changelog and version num, ready for 4.1 public release.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6730 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
dab3ff2b4a
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6723 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
4eaf8a8ffb
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6720 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
4bffc418c4
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6686 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
4e391c23cd
|
Small tweaks in CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6659 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
fc2723b0b3
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6255 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
4d5c83e21d
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6254 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |
Dave Parker
|
67d0418787
|
CHANGELOG.
git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6253 bbc10eb1-c90d-0410-af57-cb519fbb1720
|
13 years ago |