src/Pure/Isar/generic_target.ML
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