[isabelle-dev] Two problems

Lars Noschinski 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 mailing list