| Fri, 27 May 2005 01:09:44 +0200 | kleing | put global isatest settings in one file, sourced by the other scripts | file | diff | annotate |
| Sun, 08 May 2005 22:18:12 +0200 | wenzelm | MAILTO: makarius@sketis.net | file | diff | annotate |
| Sat, 30 Apr 2005 13:09:38 +0200 | isatest | export DISTPREFIX to devel page Makefile | file | diff | annotate |
| Fri, 29 Apr 2005 13:12:38 +0200 | kleing | move isadist to ~/tmp/ | file | diff | annotate |
| 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 |