From 0328e60ac238c1eb010510aa59e0c998db14407c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 13 Jul 2015 12:40:56 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10280 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 7527d8a6..4e4e5664 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -23,7 +23,7 @@ Version 4.3 (first released ???) - higher default values for CUDD/Java memory limits * Additional functionality in prism-auto testing/benchmarking script - - export testing, .auto files, debug mode, custom model files, ... + - export testing, .auto files, debug mode, colouring, custom model files, ... * New sbml2prism script