[isabelle-dev] Two problems

[Lars Noschinski]

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.
>
>Jasmin
>
>_______________________________________________
>isabelle-dev mailing list
>isabelle-dev at in.tum.de
>https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev