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 |
Tue, 13 Mar 2012 11:21:26 +0100 | wenzelm | allow redefining pretty/markup modes (not output due to bootstrap issues) -- to support reloading of theory src/HOL/src/Tools/Code_Generator; | file | diff | annotate |
Tue, 29 Nov 2011 21:50:00 +0100 | wenzelm | clarified Time vs. Timing; | file | diff | annotate |
Tue, 29 Nov 2011 19:49:36 +0100 | wenzelm | rearranged files; | file | diff | annotate | base |