| 2008-12-03 | wenzelm | eliminated traces of old Distribution directory; | file | diff | annotate |
| 2008-07-17 | wenzelm | tuned; | file | diff | annotate |
| 2008-05-29 | wenzelm | tuned; | file | diff | annotate |
| 2008-05-28 | wenzelm | tuned; | file | diff | annotate |
| 2007-12-05 | wenzelm | check persistent sessions; | file | diff | annotate |
| 2007-11-13 | wenzelm | some more items; | file | diff | annotate |
| 2007-10-30 | haftmann | adjusted | file | diff | annotate |
| 2007-10-27 | haftmann | ASCIIfied README | file | diff | annotate |
| 2007-10-24 | wenzelm | tuned; | file | diff | annotate |
| 2007-10-06 | wenzelm | some updates; | file | diff | annotate |
| 2007-09-18 | haftmann | clarified remark | file | diff | annotate |
| 2005-06-09 | haftmann | added CONTRIBUTORS | file | diff | annotate |
| 2005-04-21 | kleing | updated, added Admin/page after-release maintenance | file | diff | annotate |
| 2002-08-05 | wenzelm | updated; | file | diff | annotate |