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

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu Jan 10 13:25:21 CET 2013


Am 10.01.2013 um 13:16 schrieb Jasmin Blanchette:

> 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.

I did some updates back and forth along the history and strangely enough the problem disappeared once I went back to the above change (af8ecf09a58c). Strange.

Jasmin




More information about the isabelle-dev mailing list