[isabelle-dev] Two problems
noschinl at in.tum.de
Tue Dec 4 07:51:51 CET 2012
Did you try starting jEdit with -f to force a fresh build?
Jasmin Blanchette <jasmin.blanchette at gmail.com> schrieb:
>Am 03.12.2012 um 23:08 schrieb Lawrence Paulson:
>> Missing components maybe?
>I did "isabelle components -a" earlier today. In fact, the issue is likely to be related to the big upgrade that resulted from my invocation of this very command yesterday night.
>isabelle-dev mailing list
>isabelle-dev at in.tum.de
More information about the isabelle-dev