*** 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