Did you try starting jEdit with -f to force a fresh build? Jasmin Blanchette <[email protected]> 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 >[email protected] >https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
