| 2008-10-09 | kleing | do logging to MASTERLOG centrally (avoid multiple writers over NFS as | file | diff | annotate |
| 2008-10-04 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| 2008-10-04 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| 2007-04-12 | kleing | isatest version of annomaly script. to be run from istatest-makedist. | file | diff | annotate |