Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 82729 d8986d88295e
parent 82722 d1a944a15def 
--- a/NEWS	Mon Jun 16 12:18:26 2025 +0200
+++ b/NEWS	Mon Jun 16 12:19:23 2025 +0200
@@ -322,6 +322,10 @@
     isabelle build -o ML_system_64 -b HOL
     isabelle jedit -o ML_system_64
 
+* System option "ML_platform" specifies the underlying Poly/ML platform
+identifier explicitly: it takes precedence over all other options and
+settings to determine the ML_PLATFORM (see above).
+
 * System option "record_theories" tells "isabelle build" to record
 intermediate theory commands and results, at the cost of approx. 5 times
 larger ML heap images. This allows to retrieve fine-grained semantic
isabelle