# HG changeset patch
# User wenzelm
# Date 1506795237 -7200
# Node ID 9180953b976b0fa0f84523391ea65097bb9ff58c
# Parent  e566fb4d43d468a186ada2490dfc0644dd99e5b5
more and updated documentation;

diff -r e566fb4d43d4 -r 9180953b976b src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Sat Sep 30 20:06:26 2017 +0200
+++ b/src/Doc/System/Environment.thy	Sat Sep 30 20:13:57 2017 +0200
@@ -173,11 +173,15 @@
   of @{setting ML_SYSTEM}, @{setting ML_PLATFORM} and the Isabelle version
   values.
 
-  \<^descr>[@{setting_def ISABELLE_JDK_HOME}] needs to point to a full JDK (Java
-  Development Kit) installation with \<^verbatim>\<open>javac\<close> and \<^verbatim>\<open>jar\<close> executables. This is
-  essential for Isabelle/Scala and other JVM-based tools to work properly.
-  Note that conventional \<^verbatim>\<open>JAVA_HOME\<close> usually points to the JRE (Java Runtime
-  Environment), not JDK.
+  \<^descr>[@{setting_def ISABELLE_JDK_HOME}] points to a full JDK (Java Development
+  Kit) installation with \<^verbatim>\<open>javac\<close> and \<^verbatim>\<open>jar\<close> executables. Note that
+  conventional \<^verbatim>\<open>JAVA_HOME\<close> points to the JRE (Java Runtime Environment), not
+  the JDK.
+
+  \<^descr>[@{setting_def ISABELLE_JAVA_PLATFORM}] identifies the hardware and
+  operating system platform for the Java installation of Isabelle. That is
+  usually the (native) 64 bit variant: \<^verbatim>\<open>x86_64-linux\<close>, \<^verbatim>\<open>x86_64-darwin\<close>,
+  \<^verbatim>\<open>x86_64-windows\<close>.
 
   \<^descr>[@{setting_def ISABELLE_PATH}] is a list of directories (separated by
   colons) where Isabelle logic images may reside. When looking up heaps files,