[isabelle-dev] Build problem

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Thu May 23 14:39:21 CEST 2013

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.


More information about the isabelle-dev mailing list