src/Pure/Isar/outer_syntax.scala
2010-01-05 wenzelm 2010-01-05 tuned message;
2009-12-22 wenzelm 2009-12-22 renamed class Outer_Keyword to Outer_Syntax; renamed tokenize to scan (cf. ML version);