CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8224 bbc10eb1-c90d-0410-af57-cb519fbb1720
12 years ago · 850ed89353
1 changed files with 1 additions and 1 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -28,7 +28,7 @@ Version 4.2 (beta first released 12/5/2014)
  - additional graph zoom functionality on popup menu

 * Updates to build process
-  - fixed building on new versions of Cygwin (Windows)
+  - fixed building on new versions of Cygwin (32/64-bit Windows)
  - update CUDD to version 2.5.0

 -----------------------------------------------------------------------------