[isabelle-dev] More jedit build trouble (Re: NEWS: embedded YXML syntax)

Alexander Krauss 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?

Alex



More information about the isabelle-dev mailing list