src/Pure/Isar/parse.scala
Sat, 14 Mar 2015 17:23:58 +0100 wenzelm tunes signature -- more uniform ML vs. Scala;
Sat, 14 Mar 2015 16:56:11 +0100 wenzelm position parser as in ML;
Tue, 10 Mar 2015 20:12:30 +0100 wenzelm more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML;
Wed, 05 Nov 2014 22:17:05 +0100 wenzelm tuned signature;
Sat, 01 Nov 2014 15:01:41 +0100 wenzelm command-line terminator ";" is no longer accepted;
Wed, 30 Apr 2014 22:34:11 +0200 wenzelm some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
Tue, 08 Apr 2014 13:24:08 +0200 wenzelm more precise token positions;
less more (0) -10 -7 tip