Sat, 29 Aug 2009 14:31:39 +0200 |
misc tuning;
|
file | diff | annotate |
Sat, 06 Jun 2009 19:58:10 +0200 |
added markup ML_open, ML_struct;
|
file | diff | annotate |
Tue, 02 Jun 2009 23:30:45 +0200 |
IsabelleProcess: emit status "ready" after initialization and reports;
|
file | diff | annotate |
Tue, 24 Mar 2009 15:43:13 +0100 |
more markup elements for ML programs;
|
file | diff | annotate |
Fri, 20 Mar 2009 21:32:12 +0100 |
added ML syntax markup;
|
file | diff | annotate |
Fri, 16 Jan 2009 22:56:12 +0100 |
moved message markup into Scala layer -- reduced redundancy;
|
file | diff | annotate |
Thu, 15 Jan 2009 11:53:49 +0100 |
replaced command_state by edits/edit;
|
file | diff | annotate |
Thu, 15 Jan 2009 00:41:24 +0100 |
added command_state markup;
|
file | diff | annotate |
Fri, 09 Jan 2009 23:33:59 +0100 |
added running task markup;
|
file | diff | annotate |
Mon, 29 Dec 2008 22:43:41 +0100 |
added POSITION_PROPERTIES;
|
file | diff | annotate |
Mon, 29 Dec 2008 16:44:49 +0100 |
more markup elements;
|
file | diff | annotate |
Sun, 28 Dec 2008 20:25:39 +0100 |
more markup elements;
|
file | diff | annotate |
Sun, 28 Dec 2008 16:39:27 +0100 |
more markup elements;
|
file | diff | annotate |
Fri, 19 Dec 2008 20:37:29 +0100 |
removed Ids;
|
file | diff | annotate |
Sat, 23 Aug 2008 23:07:39 +0200 |
added position, messages;
|
file | diff | annotate |
Sat, 23 Aug 2008 19:42:12 +0200 |
Common markup elements.
|
file | diff | annotate |