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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
