[isabelle-dev] logging and debugging output

Makarius makarius at sketis.net
Fri Apr 11 12:22:57 CEST 2014


On Fri, 11 Apr 2014, Matthew Fernandez wrote:

> Previously when I found Isabelle/jEdit choking due to JVM memory exhaustion I 
> stuck this in my
> ~/.isabelle/etc/settings:
>
> JEDIT_JAVA_OPTIONS="${JEDIT_JAVA_OPTIONS} -Xmx4096m"
>
> This increases the JVM heap size to 4GB. Having said that, the Java exception 
> trace you posted below
> doesn't look to me like JVM memory exhaustion.
>
> Isabelle masters, please correct me if I'm wrong or if this is bad advice.

This is fine.  There are more such options in 
$ISABELLE_HOME/src/Tools/jEdit/etc/settings, to be used like above in 
$ISABELLE_HOME_USER/etc/settings and *not* edited in-place.

One caveat, which I also often forget is this: users of the Professional 
edition of Isabelle (aka stable release) get toplevel application entry 
points for their platform (Linux, Windows, Mac OS X), and the JVM 
configuration for that is in a different place, one that is meant to be 
"obvious" for each platform.  E.g. on Windows there is some Isabelle.exe 
with Isabelle.ini file next to it.

It would be better if the JVM would run on its own, without too much 
configuration, but that is unlikely to happen within the next few decades.


 	Makarius



More information about the isabelle-dev mailing list