| Sat, 04 Oct 2008 16:05:09 +0200 | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Sun, 28 Sep 2008 09:25:24 +0200 | do not cvs update for doc test (switching to mercurial, update done outside | file | diff | annotate |
| Fri, 06 Jun 2008 08:52:35 +0200 | doc test now runs on linux | file | diff | annotate |
| Fri, 27 Apr 2007 05:53:37 +0200 | use correct email program for sunbroy2 | file | diff | annotate |
| Mon, 05 Mar 2007 22:23:23 +0100 | adjust paths | file | diff | annotate |
| Mon, 05 Mar 2007 22:12:20 +0100 | moved all isatest/cron job related files to own directory | file | diff | annotate |