[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