| Fri, 08 Jul 2011 22:00:53 +0200 | wenzelm | moved global state to structure Document (again); | file | diff | annotate |
| Tue, 05 Jul 2011 20:36:49 +0200 | wenzelm | get theory from last executation state; | file | diff | annotate |
| Tue, 05 Jul 2011 11:45:48 +0200 | wenzelm | clarified cancel_execution/await_cancellation; | file | diff | annotate |
| Tue, 05 Jul 2011 11:16:37 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 27 Jan 2011 12:24:00 +0100 | wenzelm | cancel document execution before editing, to improve reactivity on systems with few cores; | file | diff | annotate |
| Fri, 20 Aug 2010 11:57:43 +0200 | wenzelm | concentrate protocol message formats in Isar_Document; | file | diff | annotate |
| Thu, 19 Aug 2010 12:51:48 +0200 | wenzelm | moved Isar_Document to Pure/PIDE; | file | diff | annotate | base |