| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 27 Aug 2003 18:22:34 +0200 | skalberg | Added skalberg to recepients, changed admin from kleing to berghofe. | file | diff | annotate |
| Sun, 18 May 2003 16:30:20 +0200 | kleing | fix typo | file | diff | annotate |
| Sun, 18 May 2003 16:29:18 +0200 | kleing | attach log files | file | diff | annotate |
| Sun, 18 May 2003 15:28:41 +0200 | kleing | attach log files | file | diff | annotate |
| Fri, 09 May 2003 14:15:50 +0200 | kleing | only make development snapshots for successful tests | file | diff | annotate |
| Fri, 09 May 2003 14:08:04 +0200 | kleing | fixes | file | diff | annotate |
| Fri, 09 May 2003 12:08:00 +0200 | kleing | var/run -> var/running | file | diff | annotate |
| Fri, 09 May 2003 11:56:16 +0200 | kleing | typo | file | diff | annotate |
| Fri, 09 May 2003 11:47:29 +0200 | kleing | check for error log, send mail if exists | file | diff | annotate |