# HG changeset patch
# User wenzelm
# Date 1511773457 -3600
# Node ID d7b3876d3ab1d746321c15cd859f95c0841ac24d
# Parent  1393c2340eec2eeff8b2859dee02e02d295392b4
updated documentation: JVM is always 64bit;

diff -r 1393c2340eec -r d7b3876d3ab1 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Sun Nov 26 21:08:32 2017 +0100
+++ b/src/Doc/JEdit/JEdit.thy	Mon Nov 27 10:04:17 2017 +0100
@@ -2145,19 +2145,9 @@
   \<^item> \<^bold>\<open>Problem:\<close> Heap space of the JVM may fill up and render the Prover IDE
   unresponsive, e.g.\ when editing big Isabelle sessions with many theories.
 
-  \<^bold>\<open>Workaround:\<close> On a 64bit platform, ensure that the JVM runs in 64bit mode,
-  but the Isabelle/ML process remains in 32bit mode! Do not switch Isabelle/ML
-  into 64bit mode in the expectation to be ``more efficient'' --- this
-  requires 16--32\,GB to make sense.
-
-  For the JVM, always use the 64bit version. That is the default on all
-  platforms, except for Windows: the standard download is for win32, but there
-  is a separate download for win64. This implicitly provides a larger default
-  heap for the JVM.
-
-  Moreover, it is possible to increase JVM heap parameters explicitly, by
-  editing platform-specific files (for ``properties'' or ``options'') that are
-  associated with the main app bundle.
+  \<^bold>\<open>Workaround:\<close> Increase JVM heap parameters by editing platform-specific
+  files (for ``properties'' or ``options'') that are associated with the main
+  app bundle.
 
   Also note that jEdit provides a heap space monitor in the status line
   (bottom-right). Double-clicking on that causes full garbage-collection,