From 4f1eff5ea65b6abaf15d95a61352bc7daef34808 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 30 Jan 2012 11:04:46 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4519 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 a74d8dc7..5ed7b0f2 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -5,6 +5,10 @@ Latest changes (mostly reverse chronological): [correct wrt svn rev 4512] ----------------------------------------------------------------------------- +----------------------------------------------------------------------------- +Version 4.0.3 (released 30/1/2012) +----------------------------------------------------------------------------- + * Property names - properties can be named, by prefixing with "name": - properties can appear as sub-formulae of other properties using name references