src/Pure/PIDE/isabelle_markup.scala
Thu, 22 Nov 2012 12:22:03 +0100 wenzelm some support for breakable text and paragraphs;
Mon, 01 Oct 2012 16:37:22 +0200 wenzelm report sort assignment of visible type variables;
Tue, 25 Sep 2012 22:36:06 +0200 wenzelm basic integration of graphview into document model;
less more (0) -10 -3 tip