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