# HG changeset patch
# User wenzelm
# Date 1750021392 -7200
# Node ID d1a944a15def2f92796432d3e6d8510066ae7f16
# Parent  85cf4336408028eb390b5df06f6cc6244e121ad9
more NEWS;

diff -r 85cf43364080 -r d1a944a15def NEWS
--- 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