[isabelle-dev] NEWS: Indentation according to Isabelle outer syntax
makarius at sketis.net
Mon Jul 11 22:43:30 CEST 2016
*** 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.
More information about the isabelle-dev