src/Pure/Isar/token.scala
Fri, 17 Jun 2011 00:10:39 +0200 recovered markup for non-alphabetic keywords;
Sat, 30 Oct 2010 15:26:40 +0200 support for floating-point tokens in outer syntax (coinciding with inner syntax version);
Thu, 12 Aug 2010 17:55:23 +0200 more basic notion of unparsed input;
Mon, 17 May 2010 14:23:54 +0200 renamed class Outer_Lex to Token and Token_Kind to Token.Kind;