[isabelle-dev] jedit

Tobias Nipkow nipkow at in.tum.de
Tue Sep 18 00:12:30 CEST 2012

When using jedit (development version) I got into the following situation:

partial proof

(* long

Because of the length of the comment (which was a lemma I had to comment out
because due to the partial proof above, proof methods in it diverged) the end of
the comment was outside the window. Now every time I would extend the partial
proof, I would get "malformed command syntax" and had to scroll down to the end
of the comment to make that go away.

What did I do wrong? (Other than using comments)


More information about the isabelle-dev mailing list