Larry > On 8 Apr 2019, at 12:09, Klein, Gerwin (Data61, Kensington NSW) > <[email protected]> wrote: > > What about your ~/.isabelle/etc/settings? Is there an init_component in there > with afp-devel? > > Cheers, > Gerwin
Here’s the full file: init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main" # This increases the JVM heap size to 8GB. From Makarius’s email dated 2017-09-22 JEDIT_JAVA_OPTIONS64="-Xms2048m -Xmx8192m -Xss8m" ML_OPTIONS="--minheap 1500" ISABELLE_INTERFACE_CHOICE=jedit VAMPIRE_HOME=$HOME/bin VAMPIRE_VERSION=4.2.2 ML_PLATFORM="x86_64_32-linux" ML_SYSTEM="polyml-5.7.1” _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
