[isabelle-dev] Duplicate theory??

[Christian Sternagel]

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 <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”
>>
>>
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>