src/Pure/PIDE/yxml.scala
Tue, 22 Apr 2014 23:31:45 +0200 wenzelm avoid octal escape literals -- deprecated in scala-2.11.0;
Wed, 16 Apr 2014 11:52:26 +0200 wenzelm more specific support for sequence of words;
Tue, 18 Feb 2014 18:43:31 +0100 wenzelm tuned whitespace;
Tue, 18 Feb 2014 17:03:12 +0100 wenzelm tuned signature;
less more (0) -4 tip