src/Pure/Isar/parse.scala
2011-08-13 ago tuned;
2011-06-08 ago updated headers;
2010-05-17 ago renamed class Outer_Lex to Token and Token_Kind to Token.Kind;
2010-05-15 ago renamed Outer_Parse to Parse (in Scala);