[isabelle-dev] jedit

[Tobias Nipkow]

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

partial proof

(* long
   comment
*)

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)

Tobias