[isabelle-dev] More jedit build trouble (Re: NEWS: embedded YXML syntax)
krauss at in.tum.de
Mon Jul 11 21:26:12 CEST 2011
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?
More information about the isabelle-dev