| 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 |
| Thu, 17 Jul 2008 15:35:15 +0200 | wenzelm | Admin/build browser; | file | diff | annotate |
| Thu, 03 Jul 2008 13:17:19 +0200 | wenzelm | specific to CVS; | file | diff | annotate |
| Fri, 16 Apr 2004 10:23:47 +0200 | kleing | say how to install PG and poly | file | diff | annotate |
| Fri, 16 Apr 2004 10:21:06 +0200 | kleing | fix cvs id | file | diff | annotate |
| Fri, 16 Apr 2004 10:20:34 +0200 | kleing | describe how to work on Isabelle repository version | file | diff | annotate |