testboard: File revisions

src/Pure/Isar/generic_target.ML

2011-04-17 ago	added Binding.print convenience, which includes quote already;	file \| diff \| annotate
2011-04-17 ago	report Name_Space.declare/define, relatively to context;	file \| diff \| annotate
2011-04-16 ago	modernized structure Proof_Context;	file \| diff \| annotate
2011-04-08 ago	discontinued special treatment of structure Mixfix;	file \| diff \| annotate
2011-03-13 ago	tuned headers;	file \| diff \| annotate
2010-12-17 ago	renamed structure MetaSimplifier to raw_Simplifer, to emphasize its meaning;	file \| diff \| annotate
2010-11-28 ago	superficial tuning;	file \| diff \| annotate
2010-09-20 ago	renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only;	file \| diff \| annotate
2010-08-27 ago	more careful treatment of context visibility flag wrt. spurious warnings;	file \| diff \| annotate
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;	file \| diff \| annotate
2010-08-11 ago	moved theory-level target operation fragements to Generic_Target; adjusted bootstrap order	file \| diff \| annotate
2010-08-10 ago	basic renumbering	file \| diff \| annotate
2010-08-10 ago	separated type from term parameters	file \| diff \| annotate
2010-08-10 ago	moved extra_tfrees check for mixfix syntax to Generic_Target	file \| diff \| annotate
2010-08-10 ago	name and argument grouping tuning	file \| diff \| annotate
2010-08-10 ago	whitespace tuning	file \| diff \| annotate
2010-08-10 ago	added generic_target.ML	file \| diff \| annotate

testboard

RSS Atom