Browse Source

CHANGELOG.txt.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1611 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 16 years ago
parent
commit
a61f91318c
  1. 6
      prism/CHANGELOG.txt

6
prism/CHANGELOG.txt

@ -12,8 +12,9 @@ Ongoing changes:
* Access to action labels
Latest changes (reverse chronological):
[correct wrt svn rev ???]
[correct wrt svn rev 1610]
* New versions of jcommon (1.0.16) and jfreechart (1.0.13)
* Option to specify initial distribution for transient analysis
* Option to export transient probabilities to a file
* New -exporttransdotstates option
@ -24,7 +25,8 @@ Latest changes (reverse chronological):
Temporary files:
* NOTES-*
* NOTES*
* TODO
* examples/
CHECK 3.3.1 details are up-to-date...

Loading…
Cancel
Save