src/Pure/Isar/runtime.ML
2009-11-10 wenzelm 2009-11-10 generalized Runtime.toplevel_error wrt. output function;
2009-07-21 wenzelm 2009-07-21 proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.;
2009-06-06 wenzelm 2009-06-06 moved Isar toplevel runtime support to runtime.ML, which is loaded early (before ml_compiler.ML);