src/Pure/codegen.ML
2010-07-23 wenzelm observe standard conventions for doc-strings;
2010-05-30 wenzelm replaced ML_Lex.read_antiq by more concise ML_Lex.read, which includes full read/report with explicit position information;
2010-05-27 wenzelm renamed structure PrintMode to Print_Mode, keeping the old name as legacy alias for some time;
2010-05-15 wenzelm renamed structure OuterSyntax to Outer_Syntax, keeping the old name as alias for some time;
2010-05-15 wenzelm refer directly to structure Keyword and Parse;
2010-05-08 wenzelm unified/simplified Pretty.margin_default;
2010-05-03 wenzelm renamed ProofContext.init to ProofContext.init_global to emphasize that this is not the real thing;
2010-03-20 wenzelm renamed varify/unvarify operations to varify_global/unvarify_global to emphasize that these only work in a global situation;
2010-02-25 bulwahn added basic reporting of test cases to quickcheck
2010-02-19 wenzelm renamed Simplifier.theory_context to Simplifier.global_context to emphasize that this is not the real thing;
2009-11-25 haftmann normalized uncurry take/drop
2009-11-24 haftmann curried take/drop
2009-11-08 wenzelm adapted Theory_Data;
2009-10-29 wenzelm standardized filter/filter_out;
2009-10-27 wenzelm critical comments;
2009-10-25 wenzelm eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion;
2009-10-25 wenzelm maintain theory name via name space, not tags;
2009-10-24 wenzelm eliminated separate stamp -- NameSpace.define/merge etc. ensure uniqueness already;
2009-10-21 haftmann curried union as canonical list operation
2009-10-21 haftmann dropped redundant gen_ prefix
2009-10-20 haftmann replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-10-19 berghofe Removed dead code in function mk_deftab.
2009-10-17 wenzelm operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
2009-10-17 wenzelm indicate CRITICAL nature of various setmp combinators;
2009-10-15 wenzelm replaced String.concat by implode;
2009-09-29 wenzelm explicit indication of Unsynchronized.ref;
2009-07-24 wenzelm eliminated OldGoals.read_term;
2009-07-20 haftmann deftab: only process theorems on demand
2009-07-14 haftmann more accessors to unfold simpset
2009-05-14 haftmann merged
less more (0) -100 -50 -30 tip