| Mon, 10 Dec 2012 13:52:33 +0100 | wenzelm | generalized notion of active area, where sendback is just one application; | file | diff | annotate |
| Wed, 28 Nov 2012 17:18:53 +0100 | wenzelm | some support for ML runtime statistics; | file | diff | annotate |
| 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 |