updated documentation: JVM is always 64bit;
authorwenzelm
Mon Nov 27 10:04:17 2017 +0100 (19 months ago)
changeset 67092d7b3876d3ab1
parent 67091 1393c2340eec
child 67093 835a2ab92c3d
updated documentation: JVM is always 64bit;
src/Doc/JEdit/JEdit.thy
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Sun Nov 26 21:08:32 2017 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Mon Nov 27 10:04:17 2017 +0100
     1.3 @@ -2145,19 +2145,9 @@
     1.4    \<^item> \<^bold>\<open>Problem:\<close> Heap space of the JVM may fill up and render the Prover IDE
     1.5    unresponsive, e.g.\ when editing big Isabelle sessions with many theories.
     1.6  
     1.7 -  \<^bold>\<open>Workaround:\<close> On a 64bit platform, ensure that the JVM runs in 64bit mode,
     1.8 -  but the Isabelle/ML process remains in 32bit mode! Do not switch Isabelle/ML
     1.9 -  into 64bit mode in the expectation to be ``more efficient'' --- this
    1.10 -  requires 16--32\,GB to make sense.
    1.11 -
    1.12 -  For the JVM, always use the 64bit version. That is the default on all
    1.13 -  platforms, except for Windows: the standard download is for win32, but there
    1.14 -  is a separate download for win64. This implicitly provides a larger default
    1.15 -  heap for the JVM.
    1.16 -
    1.17 -  Moreover, it is possible to increase JVM heap parameters explicitly, by
    1.18 -  editing platform-specific files (for ``properties'' or ``options'') that are
    1.19 -  associated with the main app bundle.
    1.20 +  \<^bold>\<open>Workaround:\<close> Increase JVM heap parameters by editing platform-specific
    1.21 +  files (for ``properties'' or ``options'') that are associated with the main
    1.22 +  app bundle.
    1.23  
    1.24    Also note that jEdit provides a heap space monitor in the status line
    1.25    (bottom-right). Double-clicking on that causes full garbage-collection,