CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@698 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · df49f2b833
1 changed files with 5 additions and 4 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -6,10 +6,11 @@ of the main changes in each public release, see the file VERSIONS.txt.

 Latest changes (reverse chronological):

-Steady-state properties for DTMCs
-GUI model editor: line numbers, undo
-Language changes: no ranges, new function notation, semicolons, update parentheses
-New parser: more efficient, better error reporting
+* Easier viewing of model checking results in GUI
+* Steady-state properties/operators for DTMCs
+* GUI model editor: line numbers, undo
+* Language changes: no ranges, new function notation, semicolons, update parentheses
+* New parser: more efficient, better error reporting

 -----------------------------------------------------------------------------
 Version 3.2.beta1 (released 25/2/2008) (svn: trunk rev 568)