| 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 |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | file | diff | annotate |
| Mon, 06 Apr 2015 22:11:01 +0200 | wenzelm | support for 'restricted' modifier: only qualified accesses outside the local scope; | file | diff | annotate |
| Sat, 04 Apr 2015 21:21:40 +0200 | wenzelm | more general notion of command span: command keyword not necessarily at start; | file | diff | annotate |
| Tue, 17 Mar 2015 15:21:41 +0100 | wenzelm | misc tuning and simplification; | file | diff | annotate |