| Fri, 19 Aug 2011 15:56:26 +0200 |
refined Future.cancel: explicit future allows to join actual cancellation;
|
file | diff | annotate |
| Mon, 15 Aug 2011 16:38:42 +0200 |
refined Document.edit: less stateful update via Graph.schedule;
|
file | diff | annotate |
| Sat, 13 Aug 2011 20:20:36 +0200 |
provide node header via Scala layer;
|
file | diff | annotate |
| Sat, 13 Aug 2011 15:59:26 +0200 |
clarified node header -- exclude master_dir;
|
file | diff | annotate |
| Thu, 11 Aug 2011 20:32:44 +0200 |
uniform treatment of header edits as document edits;
|
file | diff | annotate |
| Thu, 11 Aug 2011 18:01:28 +0200 |
explicit datatypes for document node edits;
|
file | diff | annotate |
| Tue, 12 Jul 2011 10:44:30 +0200 |
tuned XML modules;
|
file | diff | annotate |
| Mon, 11 Jul 2011 16:48:02 +0200 |
JVM method invocation service via Scala layer;
|
file | diff | annotate |
| Sun, 10 Jul 2011 20:59:04 +0200 |
inner syntax supports inlined YXML according to Term_XML (particularly useful for producing text under program control);
|
file | diff | annotate |
| Sun, 10 Jul 2011 13:51:21 +0200 |
simplified XML_Data;
|
file | diff | annotate |
| Sun, 10 Jul 2011 00:21:19 +0200 |
propagate header changes to prover process;
|
file | diff | annotate |
| Fri, 08 Jul 2011 22:00:53 +0200 |
moved global state to structure Document (again);
|
file | diff | annotate |
| Tue, 05 Jul 2011 20:36:49 +0200 |
get theory from last executation state;
|
file | diff | annotate |
| Tue, 05 Jul 2011 11:45:48 +0200 |
clarified cancel_execution/await_cancellation;
|
file | diff | annotate |
| Tue, 05 Jul 2011 11:16:37 +0200 |
tuned signature;
|
file | diff | annotate |
| Thu, 27 Jan 2011 12:24:00 +0100 |
cancel document execution before editing, to improve reactivity on systems with few cores;
|
file | diff | annotate |
| Fri, 20 Aug 2010 11:57:43 +0200 |
concentrate protocol message formats in Isar_Document;
|
file | diff | annotate |
| Thu, 19 Aug 2010 12:51:48 +0200 |
moved Isar_Document to Pure/PIDE;
|
file | diff | annotate | base |