| Thu, 28 Aug 2008 00:33:07 +0200 |
removed obsolete get_string;
|
file | diff | annotate |
| Wed, 27 Aug 2008 11:48:54 +0200 |
type Properties.T;
|
file | diff | annotate |
| Sat, 23 Aug 2008 23:07:38 +0200 |
added messages and process information;
|
file | diff | annotate |
| Fri, 15 Aug 2008 17:03:52 +0200 |
added ML_antiq, doc_antiq;
|
file | diff | annotate |
| Fri, 15 Aug 2008 15:50:49 +0200 |
added is_none;
|
file | diff | annotate |
| Thu, 14 Aug 2008 20:29:37 +0200 |
tuned;
|
file | diff | annotate |
| Thu, 14 Aug 2008 20:13:40 +0200 |
added ML_source, doc_source;
|
file | diff | annotate |
| Wed, 13 Aug 2008 20:57:22 +0200 |
tuned;
|
file | diff | annotate |
| Tue, 12 Aug 2008 21:27:51 +0200 |
renamed unknown_span to malformed_span;
|
file | diff | annotate |
| Mon, 11 Aug 2008 18:37:49 +0200 |
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 |
added name property operation;
|
file | diff | annotate |
| Sat, 09 Aug 2008 12:28:09 +0200 |
added literal;
|
file | diff | annotate |
| Fri, 08 Aug 2008 19:28:59 +0200 |
added offset/end_offset;
|
file | diff | annotate |
| Wed, 06 Aug 2008 00:10:08 +0200 |
added position_properties';
|
file | diff | annotate |
| Tue, 05 Aug 2008 19:29:02 +0200 |
added token;
|
file | diff | annotate |
| Tue, 05 Aug 2008 13:31:36 +0200 |
removed axiom;
|
file | diff | annotate |
| Mon, 04 Aug 2008 22:55:04 +0200 |
added end_line, end_column properties;
|
file | diff | annotate |
| Sun, 20 Jul 2008 23:06:53 +0200 |
renamed command span markup;
|
file | diff | annotate |
| Tue, 15 Jul 2008 23:36:26 +0200 |
tuned;
|
file | diff | annotate |
| Tue, 15 Jul 2008 15:46:41 +0200 |
support for command status;
|
file | diff | annotate |
| Thu, 10 Jul 2008 17:26:22 +0200 |
added prompt markup;
|
file | diff | annotate |
| Fri, 23 May 2008 21:18:47 +0200 |
added theory_nameN;
|
file | diff | annotate |
| Thu, 17 Apr 2008 16:30:48 +0200 |
added markup for fixed variables (local constants);
|
file | diff | annotate |
| Tue, 11 Mar 2008 22:31:07 +0100 |
added location;
|
file | diff | annotate |
| Sun, 10 Feb 2008 20:49:45 +0100 |
added position_properties;
|
file | diff | annotate |
| Mon, 28 Jan 2008 22:27:21 +0100 |
added column property;
|
file | diff | annotate |
| Sat, 26 Jan 2008 17:08:41 +0100 |
added theorem group property;
|
file | diff | annotate |
| Sun, 06 Jan 2008 15:57:49 +0100 |
removed obsolete prompt and channel markups;
|
file | diff | annotate |
| Thu, 03 Jan 2008 22:25:11 +0100 |
moved id to position properties;
|
file | diff | annotate |
| Thu, 03 Jan 2008 17:50:42 +0100 |
added id property;
|
file | diff | annotate |
| Thu, 06 Dec 2007 00:21:32 +0100 |
added channels;
|
file | diff | annotate |
| Sat, 06 Oct 2007 17:46:49 +0200 |
added keyword_decl, command_decl;
|
file | diff | annotate |
| Sun, 30 Sep 2007 16:20:39 +0200 |
added internalK, property_internal;
|
file | diff | annotate |
| Mon, 17 Sep 2007 16:36:41 +0200 |
avoid direct access to print_mode;
|
file | diff | annotate |
| Fri, 07 Sep 2007 22:13:45 +0200 |
added hilite markup;
|
file | diff | annotate |
| Wed, 15 Aug 2007 19:24:23 +0200 |
added sendback;
|
file | diff | annotate |
| Mon, 23 Jul 2007 14:06:12 +0200 |
marked some CRITICAL sections (for multithreading);
|
file | diff | annotate |
| Thu, 12 Jul 2007 00:15:28 +0200 |
added get_string, get_int;
|
file | diff | annotate |
| Wed, 11 Jul 2007 17:47:48 +0200 |
removed ident, space;
|
file | diff | annotate |
| Tue, 10 Jul 2007 23:29:43 +0200 |
more markup for inner and outer syntax;
|
file | diff | annotate |
| Tue, 10 Jul 2007 16:46:37 +0200 |
added print_mode setup (from pretty.ML);
|
file | diff | annotate |
| Tue, 10 Jul 2007 15:45:34 +0200 |
Add widthN to signature
|
file | diff | annotate |
| Mon, 09 Jul 2007 23:12:35 +0200 |
proper position markup;
|
file | diff | annotate |
| Sun, 08 Jul 2007 19:52:08 +0200 |
tuned;
|
file | diff | annotate |
| Sun, 08 Jul 2007 13:10:51 +0200 |
added markup for pretty printing;
|
file | diff | annotate |
| Sat, 07 Jul 2007 18:47:47 +0200 |
make smlnj happy;
|
file | diff | annotate |
| Sat, 07 Jul 2007 18:39:17 +0200 |
added toplevel markup;
|
file | diff | annotate |
| Sat, 07 Jul 2007 12:16:14 +0200 |
position: line and name;
|
file | diff | annotate |
| Sat, 07 Jul 2007 00:17:10 +0200 |
Common markup elements.
|
file | diff | annotate |