src/Pure/PIDE/command.scala
Sat, 29 May 2010 20:49:04 +0200 wenzelm tuned messages;
Fri, 28 May 2010 22:21:08 +0200 wenzelm accumulate only local results -- no proper history support yet;
Thu, 27 May 2010 00:47:15 +0200 wenzelm Command.toString: include id for debugging;
Thu, 20 May 2010 10:43:46 +0200 wenzelm explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
Wed, 05 May 2010 22:23:45 +0200 wenzelm some rearrangement of Scala sources;
less more (0) tip