CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1102 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · c19c132673
1 changed files with 10 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -2,6 +2,16 @@ This file contains details of the changes in each new version of PRISM,
 including development and beta versions. For a less detailed overview
 of the main changes in each public release, see the file VERSIONS.txt.

+Ongoing changes:
+
+* 64-bit Macs?
+* CTL model checking
+
+Latest changes (reverse chronological):
+[correct wrt svn rev ???]
+
+* ...
+
 -----------------------------------------------------------------------------
 Version 3.3.beta1 (released 20/5/2009) (svn: trunk rev 1066)
 -----------------------------------------------------------------------------