Thu, 22 Nov 2012 12:22:03 +0100 | wenzelm | some support for breakable text and paragraphs; | file | diff | annotate |
Mon, 01 Oct 2012 16:37:22 +0200 | wenzelm | report sort assignment of visible type variables; | file | diff | annotate |
Tue, 25 Sep 2012 22:36:06 +0200 | wenzelm | basic integration of graphview into document model; | file | diff | annotate |