[isabelle-dev] Duplicate theory??

[Lawrence Paulson]

Larry

> On 8 Apr 2019, at 12:09, Klein, Gerwin (Data61, Kensington NSW) <Gerwin.Klein at data61.csiro.au> 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”