--- a/src/Doc/System/Sessions.thy Sat Jun 27 11:25:30 2020 +0200
+++ b/src/Doc/System/Sessions.thy Wed Jul 01 21:14:04 2020 +0200
@@ -319,6 +319,7 @@
Build and manage Isabelle sessions, depending on implicit settings:
+ ISABELLE_TOOL_JAVA_OPTIONS="..."
ISABELLE_BUILD_OPTIONS="..."
ML_PLATFORM="..."