From 0b7bc536f59a6cd64b747a9b8ca98ffc5974cd38 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 25 Oct 2007 11:13:31 +0000 Subject: [PATCH] CHANGELOG git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@478 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 433f7d68..3b96bf66 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -3,7 +3,7 @@ including development and beta versions. For a less detailed overview of the main changes in each public release, see the file VERSIONS.txt. ----------------------------------------------------------------------------- -Latest additions (reverse chronological) (as of svn rev 457) +Latest additions (reverse chronological) (as of svn rev 477) ----------------------------------------------------------------------------- * Labels (for use in properties file) can be defined in the model file