Changelog.

prism/CHANGELOG.txt

@@ -1,22 +1,31 @@
 This file contains details of the changes in each new version of PRISM.
 
 -----------------------------------------------------------------------------
-Changes since version 4.4
------------------------------------------------------------------------------
-
-* Default location of the XPRISM settings file has changed,
-  to avoid cluttering the user's home directory:
-  - On Linux (adhering to XDG Base Directory Specification):
-     $XDG_CONFIG_HOME/prism.settings  (if that environment variable is set)
-     $HOME/.config/prism.settings     (otherwise)
-  - On macOS:
-     $HOME/Library/Preferences/prism.settings
-  - On Windows:
-     .prism in the user's home directory (unchanged from previous location)
-
-  If the settings file already exists in the legacy location
-     $HOME/.prism
-  XPRISM continues to use that location.
+Changes since version 4.4 (up-to-date wrt da3503a3)
+-----------------------------------------------------------------------------
+
+* Minor enhancements and fixes:
+  - PRISM GUI settings file (.prism) moved to more standard locations
+  - ITE supported in exact/parametric mode
+  - Various improvements to model checking in "exact" mode
+  - Faster explicit construction of models with no labels
+  - Command-line: -exportsteadystates switch implies -steadystate
+  - Fractional values allowed for constants in -const switch and in GUI
+  - Add round function (rounds to nearest integer)
+  - GUI shortcuts: double-clicks for addition of constants, labels
+  - Java stack size can be set via command-line switch -javastack (or PRISM_JAVASTACKSIZE)
+  - Many minor bugfixes
+
+* Development changes and enhancements:
+  - Integration of prism-tests into main repo
+  - Makefile targets/settings: test, testsecho, testsfull, TESTS_ARGS, source-jar
+  - Travis build config for continuous integration testing
+  - prism-auto guesses ngprism location
+  - prism-auto options: --skip-export-runs, --skip-duplicate-runs, --timeout
+  - Removed -d64 and -d32 from Mac launch scripts (gone in Java 10)
+  - Fractions/exact numbers allowed in testing RESULT specs
+  - make clean_all cleans external libs too, e.g. lpsolve
+  - Switch from javah (deprecated since Java 8) to javac for JNI header generation
 
 
 -----------------------------------------------------------------------------