src/Pure/PIDE/document.scala
Thu, 20 May 2010 10:43:46 +0200 explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
Mon, 17 May 2010 14:23:54 +0200 renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
Sat, 08 May 2010 21:17:42 +0200 removed junk;
Wed, 05 May 2010 22:23:45 +0200 some rearrangement of Scala sources;