| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
| Mon, 18 Oct 2010 15:35:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 15 Oct 2010 20:22:56 +0100 | wenzelm | tuned chapter arrangement; | file | diff | annotate |
| Wed, 13 Oct 2010 21:57:21 +0100 | wenzelm | more on "Proof methods"; | file | diff | annotate |