No mention of afp there, so that’s not where the problem is from. Cheers, Gerwin
> On 08.04.2019, at 21:12, Lawrence Paulson <[email protected]> wrote: > > > 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
