| 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:43:40 +0100 | wenzelm | more explicit dummy proofs; | file | diff | annotate |
| Sun, 07 Feb 2016 19:33:42 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Tue, 29 Dec 2015 19:11:23 +0100 | wenzelm | eliminated obscure macro that is in conflict with amsmath.sty; | file | diff | annotate |
| Wed, 04 Nov 2015 14:40:18 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 10 Jan 2015 22:04:43 +0100 | wenzelm | proper latex; | file | diff | annotate |
| Tue, 08 Apr 2014 12:46:38 +0200 | haftmann | even more standardized doc session names after #b266e7a86485 | file | diff | annotate | base |