src/Pure/Isar/isar_output.ML
Wed, 08 Jan 2003 13:34:44 +0100 oheimb corrected swallowing of newlines after end-of-ignore: rollback
Tue, 07 Jan 2003 18:08:17 +0100 oheimb corrected swallowing of newlines after end-of-ignore (improved)
Fri, 06 Dec 2002 15:16:30 +0100 oheimb corrected swallowing of newlines after end-of-ignore
Mon, 25 Feb 2002 20:50:10 +0100 wenzelm export eval_antiquote;
Tue, 12 Feb 2002 20:34:02 +0100 wenzelm ANTIQUOTE_FAIL;
Thu, 17 Jan 2002 21:04:48 +0100 wenzelm Thm.prop_of;
Mon, 05 Nov 2001 20:59:35 +0100 wenzelm pretty/print functions with context;
Sun, 21 Oct 2001 19:41:43 +0200 wenzelm maintain Latex.flag_markup;
Wed, 10 Oct 2001 18:38:21 +0200 berghofe Exported output_with.
Tue, 09 Oct 2001 18:11:07 +0200 wenzelm added global modes ref;
Fri, 31 Aug 2001 16:20:19 +0200 berghofe Added functions for printing primitive proof terms.
Sat, 07 Apr 2001 19:38:50 +0200 wenzelm thm output: Attrib.local_thmss;
Wed, 31 Jan 2001 22:15:53 +0100 wenzelm pretty_text: tweak_lines handles linebreaks gracefully;
Sat, 23 Dec 2000 22:53:27 +0100 wenzelm antiq: preview errors;
Fri, 01 Dec 2000 19:43:40 +0100 wenzelm append print_modes;
Mon, 30 Oct 2000 18:26:14 +0100 wenzelm tuned goals output;
Mon, 30 Oct 2000 08:34:37 +0100 nipkow Added antiquotation "subgoals".
Wed, 25 Oct 2000 12:26:55 +0200 wenzelm antiquotation "goals": error message;
Tue, 24 Oct 2000 23:36:17 +0200 wenzelm let commands access Toplevel.state;
Tue, 05 Sep 2000 18:51:25 +0200 wenzelm tuned output of isabelle env;
Mon, 04 Sep 2000 18:38:53 +0200 wenzelm display: avoid empty lines;
Wed, 30 Aug 2000 17:54:26 +0200 wenzelm added "source" option;
Tue, 29 Aug 2000 20:14:16 +0200 wenzelm added "name" antiq and "indent" option;
Thu, 03 Aug 2000 00:41:07 +0200 wenzelm typ_no_norm;
Sat, 01 Jul 2000 19:44:16 +0200 wenzelm added options "eta_contract", "long_names";
Fri, 30 Jun 2000 21:21:11 +0200 wenzelm help_antiquotations;
Sun, 25 Jun 2000 23:57:29 +0200 wenzelm Isar theory output.
less more (0) tip