| Sun, 21 Oct 2001 19:41:43 +0200 | wenzelm | maintain Latex.flag_markup; | file | diff | annotate |
| Wed, 10 Oct 2001 18:38:21 +0200 | berghofe | Exported output_with. | file | diff | annotate |
| Tue, 09 Oct 2001 18:11:07 +0200 | wenzelm | added global modes ref; | file | diff | annotate |
| Fri, 31 Aug 2001 16:20:19 +0200 | berghofe | Added functions for printing primitive proof terms. | file | diff | annotate |
| Sat, 07 Apr 2001 19:38:50 +0200 | wenzelm | thm output: Attrib.local_thmss; | file | diff | annotate |
| 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 |