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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev