src/Pure/Isar/generic_target.ML
2011-04-17 ago added Binding.print convenience, which includes quote already;
2011-04-17 ago report Name_Space.declare/define, relatively to context;
2011-04-16 ago modernized structure Proof_Context;
2011-04-08 ago discontinued special treatment of structure Mixfix;
2011-03-13 ago tuned headers;
2010-12-17 ago renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;
2010-11-28 ago superficial tuning;
2010-09-20 ago renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;
2010-08-27 ago more careful treatment of context visibility flag wrt. spurious warnings;
2010-08-26 ago renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
2010-08-11 ago moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order
2010-08-10 ago basic renumbering
2010-08-10 ago separated type from term parameters
2010-08-10 ago moved extra_tfrees check for mixfix syntax to Generic_Target
2010-08-10 ago name and argument grouping tuning
2010-08-10 ago whitespace tuning
2010-08-10 ago added generic_target.ML