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;
less more (0) -3 tip