From 8f47709b4f8bc5d53d1fde7389a7bb0f5ad615ac Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 4 Jun 2007 09:22:00 +0000 Subject: [PATCH] Updated CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@384 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index a4f3c587..ee25d1d0 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt. Latest additions (reverse chronological) ----------------------------------------------------------------------------- +* Prototype SBML-to-PRISM translator * New option for -simpath feature: can enable/disable loop checking * New option for -simpath feature: generation of multiple paths to find deadlock * New "rows" option for matrix exports (-exportrows switch)