Tue, 31 Aug 2010 23:28:21 +0200 | wenzelm | Command.State: add reported positions to markup tree, according main message position or Markup.binding/entity/report occurrences in body; | file | diff | annotate |
Sun, 22 Aug 2010 20:11:17 +0200 | wenzelm | simplified Command.status again, reverting most of e5eed57913d0 (note that more complex information can be represented with full markup reports); | 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 |