From 966d126948d7b64428e6e068af3aff8932b9d41d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 May 2013 22:28:00 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6734 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index cbee670c..75070202 100644 --- 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) -----------------------------------------------------------------------------