Wed, 31 Jan 2001 22:15:53 +0100 |
wenzelm |
pretty_text: tweak_lines handles linebreaks gracefully;
|
file |
diff |
annotate
|
Sat, 23 Dec 2000 22:53:27 +0100 |
wenzelm |
antiq: preview errors;
|
file |
diff |
annotate
|
Fri, 01 Dec 2000 19:43:40 +0100 |
wenzelm |
append print_modes;
|
file |
diff |
annotate
|
Mon, 30 Oct 2000 18:26:14 +0100 |
wenzelm |
tuned goals output;
|
file |
diff |
annotate
|
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
|