| Sat, 16 Oct 1999 18:56:09 +0200 | wenzelm | PROOFGENERAL_OPTIONS="-u false"; | changeset | files |
| Fri, 15 Oct 1999 16:44:37 +0200 | wenzelm | improved presentation; | changeset | files |
| Fri, 15 Oct 1999 16:43:05 +0200 | wenzelm | fixed comment; | changeset | files |
| Fri, 15 Oct 1999 15:31:35 +0200 | berghofe | Removed obsolete comment. | changeset | files |
| Fri, 15 Oct 1999 12:31:43 +0200 | berghofe | Documented thm_deps. | changeset | files |
| Thu, 14 Oct 1999 17:40:22 +0200 | berghofe | Corrected typo. | changeset | files |
| Thu, 14 Oct 1999 16:02:39 +0200 | wenzelm | improved presentation; | changeset | files |
| Thu, 14 Oct 1999 15:14:14 +0200 | wenzelm | support thumbpdf; | changeset | files |
| Thu, 14 Oct 1999 15:05:35 +0200 | wenzelm | fixed comment; | changeset | files |
| Thu, 14 Oct 1999 15:04:36 +0200 | wenzelm | pdf: generate thumbnails if ISABELLE_THUMBPDF set; | changeset | files |
| Thu, 14 Oct 1999 15:03:34 +0200 | wenzelm | support thumbpdf (via 'png' output format); | changeset | files |
| Thu, 14 Oct 1999 15:02:04 +0200 | wenzelm | thumbpdf (disabled by default); | changeset | files |