src/Pure/PIDE/markup.ML
2012-12-13 ago enable Isabelle/ML to produce uninterpreted result messages as well;
2012-12-13 ago identify dialogs via official serial and maintain as result message;
2012-12-12 ago rendering of selected dialog_result as active_result_color, depending on dynamic command status in output panel, but not static popups etc.;
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;
2012-11-28 ago some support for ML runtime statistics;
2012-11-26 ago more general sendback properties;
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-03-13 ago 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 ago clarified Time vs. Timing;
2011-11-29 ago rearranged files;