src/Pure/PIDE/markup.ML
2012-03-13 wenzelm 2012-03-13 allow redefining pretty/markup modes (not output due to bootstrap issues) -- to support reloading of theory src/HOL/src/Tools/Code_Generator;
2011-11-29 wenzelm 2011-11-29 clarified Time vs. Timing;
2011-11-29 wenzelm 2011-11-29 rearranged files;