src/Pure/Isar/parse.scala
Sat, 15 May 2010 22:15:57 +0200 wenzelm renamed Outer_Parse to Parse (in Scala);
less more (0) tip