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

Makarius 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 mailing list