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

[Makarius]

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

* Indentation according to Isabelle outer syntax, cf. action
"indent-lines" (shortcut C+i).


This refers to Isabelle/52349e41d5dc.

It is only the second round of refinement, beyond direct imitation of
the old proof-indent.el from Proof General (see Isabelle/005b490f0ce2).

There might be odd combinations that still need to be ironed out -- Isar
in 2016 is more complex than in 1999.


    Makarius