Mon, 30 Oct 2000 08:34:37 +0100 |
nipkow |
Added antiquotation "subgoals".
|
file |
diff |
annotate
|
Wed, 25 Oct 2000 12:26:55 +0200 |
wenzelm |
antiquotation "goals": error message;
|
file |
diff |
annotate
|
Tue, 24 Oct 2000 23:36:17 +0200 |
wenzelm |
let commands access Toplevel.state;
|
file |
diff |
annotate
|
Tue, 05 Sep 2000 18:51:25 +0200 |
wenzelm |
tuned output of isabelle env;
|
file |
diff |
annotate
|
Mon, 04 Sep 2000 18:38:53 +0200 |
wenzelm |
display: avoid empty lines;
|
file |
diff |
annotate
|
Wed, 30 Aug 2000 17:54:26 +0200 |
wenzelm |
added "source" option;
|
file |
diff |
annotate
|
Tue, 29 Aug 2000 20:14:16 +0200 |
wenzelm |
added "name" antiq and "indent" option;
|
file |
diff |
annotate
|
Thu, 03 Aug 2000 00:41:07 +0200 |
wenzelm |
typ_no_norm;
|
file |
diff |
annotate
|
Sat, 01 Jul 2000 19:44:16 +0200 |
wenzelm |
added options "eta_contract", "long_names";
|
file |
diff |
annotate
|
Fri, 30 Jun 2000 21:21:11 +0200 |
wenzelm |
help_antiquotations;
|
file |
diff |
annotate
|
Sun, 25 Jun 2000 23:57:29 +0200 |
wenzelm |
Isar theory output.
|
file |
diff |
annotate
|