From fc5464bee692cdf0e6e1be91082b118be2cd6e75 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 9 Jul 2015 12:28:13 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10271 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 ddd18119..e57b8962 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -5,7 +5,7 @@ Version 4.3 (first released ???) ----------------------------------------------------------------------------- * Support for external LTL-to-automata converters via the HOA format - - including model checking for Generalised Rabin (GR) and generic acceptance conditions + - including model checking for Generalised Rabin (GR) conditions * New model checking functionality/optimisations - lower time-bounds for properties of DTMCs/MDPs (e.g. P=? [ F>=2 "target" ])