| 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 |
| Thu, 14 Oct 1999 15:01:18 +0200 | wenzelm | document preparation based on (PDF)LaTeX; | changeset | files |
| Thu, 14 Oct 1999 12:47:54 +0200 | wenzelm | renamed verbatim/verb to text_raw/txt_raw; | changeset | files |
| Thu, 14 Oct 1999 12:46:30 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 14 Oct 1999 01:07:24 +0200 | wenzelm | improved presentation; | changeset | files |
| Wed, 13 Oct 1999 19:44:33 +0200 | wenzelm | berghofe; | changeset | files |