Sat, 29 May 2010 20:49:04 +0200 | wenzelm | tuned messages; | file | diff | annotate |
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 00:47:15 +0200 | wenzelm | Command.toString: include id for debugging; | file | diff | annotate |
Thu, 20 May 2010 10:43:46 +0200 | wenzelm | explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State]; | file | diff | annotate |
Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | file | diff | annotate | base |