CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3266 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 5e477df476
1 changed files with 2 additions and 2 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -59,10 +59,10 @@ Version 4.0 (released 28/6/2011)
  - New -exporttarget switch
  - New versions of jcommon (1.0.16) and jfreechart (1.0.13)

-* Changes since 4.0.beta2 (released 10/6/2011) []:
+* Changes since 4.0.beta2 (released 10/6/2011)
  - None

-* Changes since 4.0.beta (released 16/12/2010) [svn: trunk rev XX]:
+* Changes since 4.0.beta (released 16/12/2010)
  - Bug fixes: simulator, error messages, typos and examples)
  
 -----------------------------------------------------------------------------