| Thu, 07 Oct 1999 12:27:44 +0200 | wenzelm | Isabelle wrapper for LaTeX (and friends); | changeset | files |
| Thu, 07 Oct 1999 12:25:50 +0200 | wenzelm | verbatim: no markup; | changeset | files |
| Thu, 07 Oct 1999 12:25:20 +0200 | wenzelm | ISABELLE_SETTINGS_PRESENT: avoid multiple invocation; | changeset | files |
| Thu, 07 Oct 1999 12:20:21 +0200 | wenzelm | tex_source: Buffer.write; | changeset | files |
| Thu, 07 Oct 1999 12:19:47 +0200 | wenzelm | present source *before* theory load; | changeset | files |
| Thu, 07 Oct 1999 12:19:21 +0200 | wenzelm | removed write_nonempty; | changeset | files |
| Thu, 07 Oct 1999 11:39:47 +0200 | berghofe | New option -d for deleting file after use. | changeset | files |
| Thu, 07 Oct 1999 11:36:39 +0200 | berghofe | New function thm_deps for visualizing dependencies of theorems. | changeset | files |