| Sat, 14 Feb 2009 16:09:04 +0000 | Christian Urban | added an acknowledgement section | file | diff | annotate |
| Wed, 14 Jan 2009 23:44:14 +0000 | Christian Urban | added an antiquotation option [gray] for gray boxes around displays | file | diff | annotate |
| Wed, 14 Jan 2009 17:47:49 +0000 | Christian Urban | highligted the background of ML-code | file | diff | annotate |