--- a/src/Doc/System/Environment.thy Mon Oct 23 14:12:09 2017 +0200
+++ b/src/Doc/System/Environment.thy Mon Oct 23 19:30:39 2017 +0200
@@ -178,7 +178,7 @@
\<^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>,
+ always 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