src/Pure/PIDE/command.scala
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