Sat, 17 Oct 2015 21:15:10 +0200 | wenzelm | added 'paragraph', 'subparagraph'; | file | diff | annotate |
Wed, 08 Jul 2015 15:37:32 +0200 | wenzelm | clarified text folds: proof ... qed counts as extra block; | file | diff | annotate |
Wed, 08 Jul 2015 12:09:44 +0200 | wenzelm | tuned; | file | diff | annotate |