Maybe there is an .isabelle/ROOTS
file that mentions the AFP? - chris On 4/8/19 1:15 PM, Klein, Gerwin (Data61, Kensington NSW) wrote: > 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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
