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