| Fri, 10 Feb 2006 02:22:16 +0100 |
wenzelm |
Args/Attrib syntax: Context.generic;
|
file |
diff |
annotate
|
| Fri, 27 Jan 2006 19:03:09 +0100 |
wenzelm |
Locale.init;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2005 00:08:12 +0200 |
wenzelm |
added antiquotations ML_type, ML_struct;
|
file |
diff |
annotate
|
| Tue, 04 Oct 2005 19:01:37 +0200 |
wenzelm |
minor tweaks for Poplog/ML;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2005 14:02:57 +0200 |
wenzelm |
the_default, the_list;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
| Mon, 05 Sep 2005 17:38:21 +0200 |
wenzelm |
markup commands: optional locale specification;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2005 18:48:50 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
| Mon, 29 Aug 2005 16:18:06 +0200 |
wenzelm |
clarify type tok, do not emit markup flag for suppressed tokens;
|
file |
diff |
annotate
|
| Fri, 26 Aug 2005 19:47:23 +0200 |
berghofe |
Fixed bug.
|
file |
diff |
annotate
|
| Wed, 17 Aug 2005 11:15:23 +0200 |
wenzelm |
made SML/XL happy;
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:38 +0200 |
wenzelm |
reimplemented theory presentation, with support for tagged command regions;
|
file |
diff |
annotate
|
| Mon, 08 Aug 2005 09:28:25 +0200 |
haftmann |
clarified ML_idf
|
file |
diff |
annotate
|
| Tue, 19 Jul 2005 20:47:01 +0200 |
wenzelm |
Inttab.defined;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2005 12:03:32 +0200 |
wenzelm |
Args.local_typ_abbrev;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2005 18:29:54 +0200 |
wenzelm |
Output.no_warnings;
|
file |
diff |
annotate
|
| Wed, 01 Jun 2005 10:30:07 +0200 |
haftmann |
concl antiqutations
|
file |
diff |
annotate
|
| Tue, 31 May 2005 11:53:33 +0200 |
wenzelm |
added short_names, unique_names options;
|
file |
diff |
annotate
|
| Tue, 24 May 2005 14:28:59 +0200 |
haftmann |
ML_idf antiquotation
|
file |
diff |
annotate
|
| Wed, 18 May 2005 11:30:59 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 17 May 2005 18:10:41 +0200 |
wenzelm |
renamed show_var_qmarks to show_question_marks;
|
file |
diff |
annotate
|
| Sat, 14 May 2005 21:31:13 +0200 |
haftmann |
added Proof.context to antiquotation
|
file |
diff |
annotate
|
| Tue, 03 May 2005 10:33:31 +0200 |
haftmann |
final implementation of antiquotations styles
|
file |
diff |
annotate
|
| Fri, 29 Apr 2005 08:03:01 +0200 |
haftmann |
added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
|
file |
diff |
annotate
|
| Thu, 07 Apr 2005 09:26:48 +0200 |
wenzelm |
Scan.peek;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Fri, 11 Feb 2005 17:11:24 +0100 |
berghofe |
Optimized present_tokens to produce fewer newlines when hiding proofs.
|
file |
diff |
annotate
|
| Thu, 27 Jan 2005 12:34:52 +0100 |
berghofe |
- Proofs are now hidden by default
|
file |
diff |
annotate
|
| Tue, 11 Jan 2005 14:47:47 +0100 |
berghofe |
Tuned.
|
file |
diff |
annotate
|
| Tue, 11 Jan 2005 14:08:07 +0100 |
berghofe |
Implemented hiding of proofs and other commands.
|
file |
diff |
annotate
|
| Wed, 01 Dec 2004 06:30:20 +0100 |
kleing |
added antiquotations @{lhs thm} and @{rhs thm}
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Wed, 09 Jun 2004 18:52:55 +0200 |
wenzelm |
added option 'locale=NAME';
|
file |
diff |
annotate
|
| Sat, 29 May 2004 15:06:42 +0200 |
wenzelm |
Library.read_int; Output.output;
|
file |
diff |
annotate
|
| Fri, 21 May 2004 21:19:18 +0200 |
wenzelm |
Args.local_typ_raw;
|
file |
diff |
annotate
|
| Thu, 06 May 2004 14:17:07 +0200 |
wenzelm |
show_structs option;
|
file |
diff |
annotate
|
| Sat, 01 May 2004 22:09:45 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 08 Jan 2004 08:14:00 +0100 |
kleing |
separate thm lists in latex output by \isasep
|
file |
diff |
annotate
|
| Mon, 28 Apr 2003 09:58:12 +0200 |
berghofe |
Added "break" flag to allow line breaks within \isa{...}
|
file |
diff |
annotate
|
| Wed, 08 Jan 2003 13:34:44 +0100 |
oheimb |
corrected swallowing of newlines after end-of-ignore: rollback
|
file |
diff |
annotate
|
| Tue, 07 Jan 2003 18:08:17 +0100 |
oheimb |
corrected swallowing of newlines after end-of-ignore (improved)
|
file |
diff |
annotate
|
| Fri, 06 Dec 2002 15:16:30 +0100 |
oheimb |
corrected swallowing of newlines after end-of-ignore
|
file |
diff |
annotate
|
| Mon, 25 Feb 2002 20:50:10 +0100 |
wenzelm |
export eval_antiquote;
|
file |
diff |
annotate
|
| Tue, 12 Feb 2002 20:34:02 +0100 |
wenzelm |
ANTIQUOTE_FAIL;
|
file |
diff |
annotate
|
| Thu, 17 Jan 2002 21:04:48 +0100 |
wenzelm |
Thm.prop_of;
|
file |
diff |
annotate
|
| Mon, 05 Nov 2001 20:59:35 +0100 |
wenzelm |
pretty/print functions with context;
|
file |
diff |
annotate
|
| 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
|