| Thu, 09 Oct 2008 09:18:32 +0200 | kleing | do logging to MASTERLOG centrally (avoid multiple writers over NFS as | file | diff | annotate |
| Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Sun, 28 Sep 2008 09:25:24 +0200 | kleing | do not cvs update for doc test (switching to mercurial, update done outside | file | diff | annotate |
| Fri, 06 Jun 2008 08:52:35 +0200 | isatest | doc test now runs on linux | file | diff | annotate |
| Fri, 27 Apr 2007 05:53:37 +0200 | kleing | use correct email program for sunbroy2 | file | diff | annotate |
| Mon, 05 Mar 2007 22:23:23 +0100 | kleing | adjust paths | file | diff | annotate |
| Mon, 05 Mar 2007 22:12:20 +0100 | kleing | moved all isatest/cron job related files to own directory | file | diff | annotate |