On 07/11/2011 08:33 PM, Makarius wrote:
The following is a bit silly, but it demenstrates several layers that can be involved here:
[...]
Now I tried to update, and I am having problems. I am running Isabelle 52310132063b with jedit-build-20110622. The build itself works fine but when I run "isabelle jedit Scratch.thy", I get
9:21:32 PM [main] [error] main: ### Isabelle system initialization Then, jedit starts up, but it doesn't seem to process any text... Should I try to bisect? Alex _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
