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

[Jasmin Blanchette]

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