[isabelle-dev] Build problem

[Jasmin Christian Blanchette]

Am 23.05.2013 um 14:30 schrieb Jasmin Christian Blanchette <jasmin.blanchette at gmail.com>:

> 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