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 |