[isabelle-dev] Build error ("isabelle.Build not found")

Jasmin Blanchette jasmin.blanchette at gmail.com
Thu Jan 10 13:16:33 CET 2013


Hi all,

I just updated Isabelle to af8ecf09a58c (from a version that was one or two days old) and whenever I try to build HOL, I get this error:

    isabelle build -c -b HOL
    Fehler: Hauptklasse isabelle.Build konnte nicht gefunden oder geladen werden
    0:00:00 elapsed time, 0:00:00 cpu time

Mac OS X 10.6. I haven't changed any settings recently.

Jasmin



More information about the isabelle-dev mailing list