Hi Chris, > I just retrieved Isabelle from source control (Mercurial) and am > compiling with PolyML 5.2 under cygwin. I get a segfault from polly > compiling Pure.
That's weird. > 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. Keep us updated. Alex
