| Fri, 28 May 2010 22:21:08 +0200 | wenzelm | accumulate only local results -- no proper history support yet; | file | diff | annotate |
| Thu, 27 May 2010 21:36:38 +0200 | wenzelm | slightly odd workaround to ignore markup that is typically displaced; | file | diff | annotate |
| Thu, 27 May 2010 00:47:15 +0200 | wenzelm | Command.toString: include id for debugging; | file | diff | annotate |
| Mon, 24 May 2010 23:01:51 +0200 | wenzelm | renamed "rev" to "reverse" following usual Scala conventions; | file | diff | annotate |
| Fri, 21 May 2010 20:10:45 +0200 | wenzelm | simplified message markup, using plain XML.Elem directly; | file | diff | annotate |
| Fri, 07 May 2010 22:00:23 +0200 | wenzelm | output symbolic pretty printing markup and format in the front end; | file | diff | annotate |
| Wed, 05 May 2010 23:09:34 +0200 | wenzelm | simplified via Position extractors; | file | diff | annotate |
| Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate | base |