| Wed, 03 Dec 2008 21:15:46 +0100 | wenzelm | eliminated traces of old Distribution directory; | file | diff | annotate |
| Thu, 17 Jul 2008 17:01:54 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 29 May 2008 23:46:36 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 28 May 2008 23:36:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 06 Dec 2007 00:21:28 +0100 | wenzelm | check persistent sessions; | file | diff | annotate |
| Tue, 13 Nov 2007 16:24:03 +0100 | wenzelm | some more items; | file | diff | annotate |
| Tue, 30 Oct 2007 12:14:22 +0100 | haftmann | adjusted | file | diff | annotate |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | file | diff | annotate |
| Wed, 24 Oct 2007 20:17:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | some updates; | file | diff | annotate |
| Tue, 18 Sep 2007 07:36:10 +0200 | haftmann | clarified remark | file | diff | annotate |
| Thu, 09 Jun 2005 11:04:54 +0200 | haftmann | added CONTRIBUTORS | file | diff | annotate |
| Fri, 22 Apr 2005 01:38:13 +0200 | kleing | updated, added Admin/page after-release maintenance | file | diff | annotate |
| Mon, 05 Aug 2002 12:00:51 +0200 | wenzelm | updated; | file | diff | annotate |