| Wed, 09 Jan 2013 13:38:57 +0100 | wenzelm | standardized treatment of timing properties; | file | diff | annotate |
| Fri, 04 Jan 2013 12:33:25 +0100 | wenzelm | prefer old graph browser in Isabelle/jEdit, which still produces better layout; | file | diff | annotate |
| Sat, 15 Dec 2012 12:55:11 +0100 | wenzelm | explicit text_fold markup, which is used by default in Pretty.chunks/chunks2; | file | diff | annotate |
| Sat, 15 Dec 2012 12:28:37 +0100 | wenzelm | fold main goal; | file | diff | annotate |