| 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
|
| Thu, 07 Oct 1999 11:35:20 +0200 |
berghofe |
Added file thm_deps.
|
changeset |
files
|
| Thu, 07 Oct 1999 11:34:46 +0200 |
berghofe |
Exported function get_info.
|
changeset |
files
|
| Wed, 06 Oct 1999 21:32:52 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -d pdf option (off by default);
|
changeset |
files
|
| Wed, 06 Oct 1999 18:50:51 +0200 |
wenzelm |
improved presentation;
|
changeset |
files
|
| Wed, 06 Oct 1999 18:50:40 +0200 |
wenzelm |
Isar_examples/W_correct;
|
changeset |
files
|