It died twice using “isabelle jedit -l HOL-Analysis”, once using "isabelle 
jedit Analysis/Analysis.thy” and once using "isabelle build -b HOL-Analysis”.

The reason I fetched in the first place was that I was getting crashes in my 
interactive sessions.

Larry

> On 2 Feb 2019, at 13:26, Florian Haftmann 
> <florian.haftm...@informatik.tu-muenchen.de> wrote:
> 
>> HOL-Analysis can’t be built (reproducibly) with the latest version 
>> (76f2d492627e). It simply dies, no error message.
> 
> I cannot reproduce this.
> 
>  ML_PLATFORM="x86_64_32-linux"
>  ML_SYSTEM="polyml-5.7.1"
>  ML_OPTIONS="--maxheap 9G"
> 
> Have you tried a fresh build or delete the corresponding log / saved
> state manually?
> 
> Cheers,
>       Florian
> 

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to