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