[isabelle-dev] Duplicate theory??

[Klein, Gerwin (Data61, Kensington NSW)]

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 <lp15 at cam.ac.uk> wrote:
> 
> 
> 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”
> 
>