| Wed, 18 Aug 2010 11:02:47 +0200 |
wenzelm |
uniform Markup.empty/Markup.Empty in ML and Scala;
|
file |
diff |
annotate
|
| Mon, 16 Aug 2010 00:07:28 +0200 |
wenzelm |
simplified command status: interpret stacked markup on demand;
|
file |
diff |
annotate
|
| Sat, 14 Aug 2010 22:45:23 +0200 |
wenzelm |
more basic Markup.parse_int/print_int (using signed_string_of_int) (ML);
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 22:41:26 +0200 |
wenzelm |
represent document ids by (long) int, to benefit from the somewhat faster Inttab in ML (LinearSet in Scala is invariably indexed by native object ids);
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 12:29:11 +0200 |
wenzelm |
distinguish proper Isabelle_Process INPUT vs. raw STDIN, tuned corresponding method names;
|
file |
diff |
annotate
|
| Sun, 08 Aug 2010 19:36:31 +0200 |
wenzelm |
explicitly distinguish Output.status (essential feedback) vs. Output.report (useful markup);
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:43:57 +0200 |
wenzelm |
simplified some Markup;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 16:00:13 +0200 |
wenzelm |
separate markup for ML delimiters;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 15:27:49 +0200 |
wenzelm |
less pschedelic token markup;
|
file |
diff |
annotate
|
| Sat, 29 May 2010 19:46:29 +0200 |
wenzelm |
explicit markup for forked goals, as indicated by Goal.fork;
|
file |
diff |
annotate
|
| Tue, 25 May 2010 23:03:13 +0200 |
wenzelm |
eliminated obsolete priority message from Isabelle_Process protocol;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 23:52:20 +0200 |
wenzelm |
replaced slightly odd fbreak markup by plain "\n", which also coincides with regular linebreaks produced outside the ML pretty engine;
|
file |
diff |
annotate
|
| Thu, 06 May 2010 16:27:47 +0200 |
wenzelm |
basic support for symbolic pretty printing;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 18:56:36 +0100 |
wenzelm |
explicit markup of document assigment message (simplified variant of earlier "edits" 8c3e1f73953d);
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 22:56:46 +0100 |
wenzelm |
simplified init message -- removed redundant session property;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 21:32:25 +0100 |
wenzelm |
eliminated Markup.edits/EDITS: Isar.edit_document reports Markup.edit/EDIT while running under new document id;
|
file |
diff |
annotate
|
| Fri, 18 Dec 2009 12:28:50 +0100 |
wenzelm |
markup bad YXML as malformed;
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 13:43:51 +0100 |
wenzelm |
sealed XML.Tree;
|
file |
diff |
annotate
|
| Sat, 05 Dec 2009 16:39:49 +0100 |
wenzelm |
added markup for hidden text;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 17:49:44 +0200 |
wenzelm |
markup for formal entities, with "def" or "ref" occurrences;
|
file |
diff |
annotate
|
| Sat, 29 Aug 2009 14:31:39 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Sat, 06 Jun 2009 19:58:10 +0200 |
wenzelm |
added markup ML_open, ML_struct;
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 23:30:45 +0200 |
wenzelm |
IsabelleProcess: emit status "ready" after initialization and reports;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2009 15:43:13 +0100 |
wenzelm |
more markup elements for ML programs;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 21:32:12 +0100 |
wenzelm |
added ML syntax markup;
|
file |
diff |
annotate
|
| Fri, 16 Jan 2009 22:56:12 +0100 |
wenzelm |
moved message markup into Scala layer -- reduced redundancy;
|
file |
diff |
annotate
|
| 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
|
| Mon, 29 Dec 2008 22:43:41 +0100 |
wenzelm |
added POSITION_PROPERTIES;
|
file |
diff |
annotate
|
| Mon, 29 Dec 2008 16:44:49 +0100 |
wenzelm |
more markup elements;
|
file |
diff |
annotate
|
| Sun, 28 Dec 2008 20:25:39 +0100 |
wenzelm |
more markup elements;
|
file |
diff |
annotate
|
| Sun, 28 Dec 2008 16:39:27 +0100 |
wenzelm |
more markup elements;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 20:37:29 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 23:07:39 +0200 |
wenzelm |
added position, messages;
|
file |
diff |
annotate
|
| Sat, 23 Aug 2008 19:42:12 +0200 |
wenzelm |
Common markup elements.
|
file |
diff |
annotate
|