| Sun, 14 Feb 2016 16:30:27 +0100 | wenzelm | command '\<proof>' is an alias for 'sorry', with different typesetting; | file | diff | annotate |
| Sun, 07 Feb 2016 19:33:42 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Tue, 08 Apr 2014 12:46:38 +0200 | haftmann | even more standardized doc session names after #b266e7a86485 | file | diff | annotate | base |