[isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
makarius at sketis.net
Tue Jul 12 17:26:43 CEST 2016
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
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.
More information about the isabelle-dev