more and updated documentation;
authorwenzelm
Sat Sep 30 20:13:57 2017 +0200 (18 months ago)
changeset 667339180953b976b
parent 66732 e566fb4d43d4
child 66734 ea5bd1347d26
more and updated documentation;
src/Doc/System/Environment.thy
     1.1 --- a/src/Doc/System/Environment.thy	Sat Sep 30 20:06:26 2017 +0200
     1.2 +++ b/src/Doc/System/Environment.thy	Sat Sep 30 20:13:57 2017 +0200
     1.3 @@ -173,11 +173,15 @@
     1.4    of @{setting ML_SYSTEM}, @{setting ML_PLATFORM} and the Isabelle version
     1.5    values.
     1.6  
     1.7 -  \<^descr>[@{setting_def ISABELLE_JDK_HOME}] needs to point to a full JDK (Java
     1.8 -  Development Kit) installation with \<^verbatim>\<open>javac\<close> and \<^verbatim>\<open>jar\<close> executables. This is
     1.9 -  essential for Isabelle/Scala and other JVM-based tools to work properly.
    1.10 -  Note that conventional \<^verbatim>\<open>JAVA_HOME\<close> usually points to the JRE (Java Runtime
    1.11 -  Environment), not JDK.
    1.12 +  \<^descr>[@{setting_def ISABELLE_JDK_HOME}] points to a full JDK (Java Development
    1.13 +  Kit) installation with \<^verbatim>\<open>javac\<close> and \<^verbatim>\<open>jar\<close> executables. Note that
    1.14 +  conventional \<^verbatim>\<open>JAVA_HOME\<close> points to the JRE (Java Runtime Environment), not
    1.15 +  the JDK.
    1.16 +
    1.17 +  \<^descr>[@{setting_def ISABELLE_JAVA_PLATFORM}] identifies the hardware and
    1.18 +  operating system platform for the Java installation of Isabelle. That is
    1.19 +  usually the (native) 64 bit variant: \<^verbatim>\<open>x86_64-linux\<close>, \<^verbatim>\<open>x86_64-darwin\<close>,
    1.20 +  \<^verbatim>\<open>x86_64-windows\<close>.
    1.21  
    1.22    \<^descr>[@{setting_def ISABELLE_PATH}] is a list of directories (separated by
    1.23    colons) where Isabelle logic images may reside. When looking up heaps files,