CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6734 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 966d126948
1 changed files with 4 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -1,5 +1,9 @@
 This file contains details of the changes in each new version of PRISM.

+New since last release:
+
+* Export labels from GUI
+
 -----------------------------------------------------------------------------
 Version 4.1 (first released 20/12/2012)
 -----------------------------------------------------------------------------