src/Pure/PIDE/blob.scala
Tue, 18 Sep 2012 13:18:45 +0200 wenzelm some support for inital command markup;
Fri, 11 Nov 2011 14:24:38 +0100 wenzelm prefer statically typed Text.Markup;
Sat, 09 Jul 2011 13:29:33 +0200 wenzelm some support for blobs (arbitrary text files) within document nodes;
less more (0) tip