Thu, 15 Jan 2009 11:53:49 +0100 |
wenzelm |
replaced command_state by edits/edit;
|
file |
diff |
annotate
|
Thu, 15 Jan 2009 00:41:24 +0100 |
wenzelm |
added command_state markup;
|
file |
diff |
annotate
|
Fri, 09 Jan 2009 23:33:59 +0100 |
wenzelm |
added running task markup;
|
file |
diff |
annotate
|
Fri, 02 Jan 2009 22:54:04 +0100 |
wenzelm |
Markup.no_output;
|
file |
diff |
annotate
|
Fri, 02 Jan 2009 19:38:13 +0100 |
wenzelm |
added numeral, which supercedes num, xnum, float;
|
file |
diff |
annotate
|
Sat, 29 Nov 2008 13:37:13 +0100 |
nipkow |
New lexical item "float".
|
file |
diff |
annotate
|
Wed, 03 Sep 2008 17:47:37 +0200 |
wenzelm |
added const_decl;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 14:10:27 +0200 |
wenzelm |
added fixed_decl, fact_decl, local_fact_decl;
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 00:33:07 +0200 |
wenzelm |
removed obsolete get_string;
|
file |
diff |
annotate
|
Wed, 27 Aug 2008 11:48:54 +0200 |
wenzelm |
type Properties.T;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 23:07:38 +0200 |
wenzelm |
added messages and process information;
|
file |
diff |
annotate
|
Fri, 15 Aug 2008 17:03:52 +0200 |
wenzelm |
added ML_antiq, doc_antiq;
|
file |
diff |
annotate
|
Fri, 15 Aug 2008 15:50:49 +0200 |
wenzelm |
added is_none;
|
file |
diff |
annotate
|
Thu, 14 Aug 2008 20:29:37 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Thu, 14 Aug 2008 20:13:40 +0200 |
wenzelm |
added ML_source, doc_source;
|
file |
diff |
annotate
|
Wed, 13 Aug 2008 20:57:22 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Aug 2008 21:27:51 +0200 |
wenzelm |
renamed unknown_span to malformed_span;
|
file |
diff |
annotate
|
Mon, 11 Aug 2008 18:37:49 +0200 |
wenzelm |
renamed Markup.class to Markup.tclass, to avoid potential conflicts with spacial meaning in markup languages (e.g. HTML);
|
file |
diff |
annotate
|
Sun, 10 Aug 2008 12:38:22 +0200 |
wenzelm |
added name property operation;
|
file |
diff |
annotate
|
Sat, 09 Aug 2008 12:28:09 +0200 |
wenzelm |
added literal;
|
file |
diff |
annotate
|
Fri, 08 Aug 2008 19:28:59 +0200 |
wenzelm |
added offset/end_offset;
|
file |
diff |
annotate
|
Wed, 06 Aug 2008 00:10:08 +0200 |
wenzelm |
added position_properties';
|
file |
diff |
annotate
|
Tue, 05 Aug 2008 19:29:02 +0200 |
wenzelm |
added token;
|
file |
diff |
annotate
|
Tue, 05 Aug 2008 13:31:36 +0200 |
wenzelm |
removed axiom;
|
file |
diff |
annotate
|
Mon, 04 Aug 2008 22:55:04 +0200 |
wenzelm |
added end_line, end_column properties;
|
file |
diff |
annotate
|
Sun, 20 Jul 2008 23:06:53 +0200 |
wenzelm |
renamed command span markup;
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 23:36:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 15 Jul 2008 15:46:41 +0200 |
wenzelm |
support for command status;
|
file |
diff |
annotate
|
Thu, 10 Jul 2008 17:26:22 +0200 |
wenzelm |
added prompt markup;
|
file |
diff |
annotate
|
Fri, 23 May 2008 21:18:47 +0200 |
wenzelm |
added theory_nameN;
|
file |
diff |
annotate
|