src/Doc/JEdit/JEdit.thy
changeset 67092 d7b3876d3ab1
parent 66988 7f8c1dd7576a
child 67246 4cedf44f2af1
equal deleted inserted replaced
67091:1393c2340eec 67092:d7b3876d3ab1
  2143   on Mac OS X).
  2143   on Mac OS X).
  2144 
  2144 
  2145   \<^item> \<^bold>\<open>Problem:\<close> Heap space of the JVM may fill up and render the Prover IDE
  2145   \<^item> \<^bold>\<open>Problem:\<close> Heap space of the JVM may fill up and render the Prover IDE
  2146   unresponsive, e.g.\ when editing big Isabelle sessions with many theories.
  2146   unresponsive, e.g.\ when editing big Isabelle sessions with many theories.
  2147 
  2147 
  2148   \<^bold>\<open>Workaround:\<close> On a 64bit platform, ensure that the JVM runs in 64bit mode,
  2148   \<^bold>\<open>Workaround:\<close> Increase JVM heap parameters by editing platform-specific
  2149   but the Isabelle/ML process remains in 32bit mode! Do not switch Isabelle/ML
  2149   files (for ``properties'' or ``options'') that are associated with the main
  2150   into 64bit mode in the expectation to be ``more efficient'' --- this
  2150   app bundle.
  2151   requires 16--32\,GB to make sense.
       
  2152 
       
  2153   For the JVM, always use the 64bit version. That is the default on all
       
  2154   platforms, except for Windows: the standard download is for win32, but there
       
  2155   is a separate download for win64. This implicitly provides a larger default
       
  2156   heap for the JVM.
       
  2157 
       
  2158   Moreover, it is possible to increase JVM heap parameters explicitly, by
       
  2159   editing platform-specific files (for ``properties'' or ``options'') that are
       
  2160   associated with the main app bundle.
       
  2161 
  2151 
  2162   Also note that jEdit provides a heap space monitor in the status line
  2152   Also note that jEdit provides a heap space monitor in the status line
  2163   (bottom-right). Double-clicking on that causes full garbage-collection,
  2153   (bottom-right). Double-clicking on that causes full garbage-collection,
  2164   which sometimes helps in low-memory situations.
  2154   which sometimes helps in low-memory situations.
  2165 \<close>
  2155 \<close>