| Thu, 12 Oct 2006 08:25:04 +0200 | haftmann | now allowing subdirectories in Doc/ | changeset | files |
| Thu, 12 Oct 2006 08:10:23 +0200 | haftmann | added makefile layer | changeset | files |
| Wed, 11 Oct 2006 22:59:36 +0200 | wenzelm | * isabelle-process: option -S (secure mode) disables some critical operations; | changeset | files |
| Wed, 11 Oct 2006 22:56:10 +0200 | wenzelm | increased heap size for polyml-4.9.1; | changeset | files |