src/Pure/Isar/outer_syntax.scala
Sat, 17 Oct 2015 21:15:10 +0200 wenzelm added 'paragraph', 'subparagraph';
Wed, 08 Jul 2015 15:37:32 +0200 wenzelm clarified text folds: proof ... qed counts as extra block;
Wed, 08 Jul 2015 12:09:44 +0200 wenzelm tuned;
less more (0) -30 -10 -3 tip