Am 23.05.2013 um 14:30 schrieb Jasmin Christian Blanchette <[email protected]>:
> With the latest repository version (510709f8881d), I can't manage to build > anything; e.g. > […] > I can't remember having done anything strange with my system except pulling > some changes from the main repository. OK, ./bin/isabelle jedit -bf did the trick. I somehow didn't suspect this was the issue since nothing has changed in the last couple of days with the components, but it seems like there's nothing like a fresh Isabelle/Scala build. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
