[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