This is not a remaining use of Proof General, but of the Emacs text
editor: trimming the final newline of theory sources for document
preparation. This could lead to extra white space between sections in the
last decades, but it was just one of these habits to take care of that
manually.
jEdit has its own built-in "smartness" concerning the last line, and some
well-known problems coming from it, especially for plugin authors who need
to paint something into the text buffer. Since there is no realistic
chance to remove superfluous newlines manually, Isabelle/5fc1c2098964 now
does that unconditionally during document preparation.
(For now the list of Remaining uses of Proof General / Emacs seems to be
empty. If there is anything remaining, this thread is still open to
submissions.)
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
