src/Pure/Thy/thy_output.ML
2008-04-29 haftmann 2008-04-29 added lemma antiquotation
2008-04-17 wenzelm 2008-04-17 pretty_term: no revert_skolems here, but auto_fixes (token translations will do the rest);
2008-03-28 wenzelm 2008-03-28 reorganized signature of ML_Context;
2008-03-24 wenzelm 2008-03-24 ML runtime compilation: pass position, tuned signature;
2007-11-11 wenzelm 2007-11-11 abbrev: bypass full term check via ProofContext.standard_infer_types (prevents forced expansion);
2007-11-10 wenzelm 2007-11-10 @{const}: improved ProofContext.read_const does the job;
2007-10-30 haftmann 2007-10-30 const antiquotation clarified
2007-10-16 wenzelm 2007-10-16 tuned Const.the_abbreviation;
2007-10-09 wenzelm 2007-10-09 generic Syntax.pretty/string_of operations;
2007-09-23 wenzelm 2007-09-23 TypeInfer.constrain: canonical argument order;
2007-07-23 wenzelm 2007-07-23 marked some CRITICAL sections; eliminated transform_failure (to avoid critical section for main transactions);
2007-07-23 wenzelm 2007-07-23 PrintMode.with_modes;
2007-07-19 wenzelm 2007-07-19 tuned signature;
2007-07-10 wenzelm 2007-07-10 tuned;
2007-06-05 wenzelm 2007-06-05 print_antiquotations: sort_strings;
2007-01-19 wenzelm 2007-01-19 renamed Isar/isar_output.ML to Thy/thy_output.ML; tuned messages; Antiquote.scan_arguments (moved from here); moved ML context stuff to from Context to ML_Context;