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

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