--- a/NEWS Sun Jun 15 22:55:30 2025 +0200
+++ b/NEWS Sun Jun 15 23:03:12 2025 +0200
@@ -317,6 +317,11 @@
ML_system_apple, and ML_OPTIONS is taken from ML_OPTIONS32 or
ML_OPTIONS64 (depending on the effective ML_PLATFORM).
+Examples:
+
+ isabelle build -o ML_system_64 -b HOL
+ isabelle jedit -o ML_system_64
+
* 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