[isabelle-dev] NEWS: Indentation according to Isabelle outer syntax

[Makarius]

This is the updated situation according to Isabelle/019856db2bb6:

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Improved support for indentation according to Isabelle outer syntax.
Action "indent-lines" (shortcut C+i) indents the current line according
to command keywords and some command substructure. Action
"isabelle.newline" (shortcut ENTER) indents the old and the new line
according to command keywords only; see also option
"jedit_indent_newline".


As usual, new keyboard shortcuts are only applied automatically for
fresh Isabelle/jEdit installations. To benefit from isabelle.newline it
needs to be added manually in the Global Options / Shortcuts dialog.

With a little bit of practice, it already works quite smoothly and
requires very few additional C+i, TAB, S+TAB etc.


	Makarius