| Tue, 13 Mar 2012 11:22:39 +0100 | wenzelm | tuned strip_alls; | changeset | files |
| 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; | changeset | files |
| Mon, 12 Mar 2012 23:33:50 +0100 | wenzelm | some grouping of Par_List operations, to adjust granularity; | changeset | files |