[isabelle-dev] segfault compiling

Makarius makarius at sketis.net
Mon Jan 5 00:18:54 CET 2009

On Sun, 4 Jan 2009, Alexander Krauss wrote:

> > Should I try bisecting this, and if so, what revision
> > should I start at? I haven't previously compiled Isabelle.
> Hmmm... Maybe try the Isabelle2008 release tag first. If that works, 
> bisect from there. Otherwise, try the newest polyml 5.2.1, or even the 
> cvs head.

Poly/ML did not change yet after the 5.2.1 release, so trying just the 
version from http://isabelle.in.tum.de/polyml-5.2.1/ should be fine.


More information about the isabelle-dev mailing list