Mon, 26 Nov 2012 16:16:47 +0100 | wenzelm | more general sendback properties; | file | diff | annotate |
Sun, 25 Nov 2012 19:49:24 +0100 | wenzelm | Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d; | file | diff | annotate |
Thu, 27 Sep 2012 15:55:38 +0200 | wenzelm | removed obsolete org.w3c.dom operations; | file | diff | annotate |
Tue, 29 Nov 2011 21:50:00 +0100 | wenzelm | clarified Time vs. Timing; | file | diff | annotate |
Tue, 29 Nov 2011 21:29:53 +0100 | wenzelm | separate compilation of PIDE vs. Pure sources, which enables independent Scala library; | file | diff | annotate |
Tue, 29 Nov 2011 19:49:36 +0100 | wenzelm | rearranged files; | file | diff | annotate | base |