Updated CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@384 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 8f47709b4f
1 changed files with 1 additions and 0 deletions
--- 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)