| 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
|