| 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 |
| Tue, 19 Sep 2006 15:22:44 +0200 | urbanc | tuned | file | diff | annotate |
| Fri, 14 Jul 2006 13:51:30 +0200 | webertj | trivial whitespace changes | file | diff | annotate |
| Tue, 04 Jul 2006 12:13:38 +0200 | urbanc | updated | file | diff | annotate |
| Thu, 01 Jun 2006 14:54:44 +0200 | urbanc | added some installation notes for the nominal package | file | diff | annotate |