*** 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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
