| Thu, 30 Jun 2005 08:57:53 +0200 | haftmann | minor corrections | file | diff | annotate |
| Tue, 28 Jun 2005 12:32:38 +0200 | haftmann | introduced a notion of mirrors | file | diff | annotate |
| Mon, 06 Jun 2005 12:17:59 +0200 | haftmann | refinements | file | diff | annotate |
| Sat, 04 Jun 2005 21:35:20 +0200 | haftmann | added shellcmd style | file | diff | annotate |
| Sat, 04 Jun 2005 10:26:08 +0200 | haftmann | added new website | file | diff | annotate |