| Sun, 18 Oct 2015 20:48:24 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 17 Oct 2015 19:26:34 +0200 | wenzelm | clarified nesting of paragraphs: indentation is taken into account more uniformly; | file | diff | annotate |
| Fri, 16 Oct 2015 14:53:26 +0200 | wenzelm | Markdown support in document text; | file | diff | annotate |
| Wed, 14 Oct 2015 15:10:32 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Mon, 12 Oct 2015 20:58:58 +0200 | wenzelm | more symbols; | file | diff | annotate |
| Wed, 06 May 2015 23:28:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 01 Apr 2015 22:40:07 +0200 | wenzelm | misc tuning -- keep name space more clean; | file | diff | annotate |