src/Pure/Syntax/ast.ML
2011-06-10 ago tuned name (cf. blast_stats);
2011-04-07 ago tuned signature;
2011-04-06 ago separate structure Term_Position;
2011-04-05 ago discontinued special treatment of structure Ast: no pervasive content, no inclusion in structure Syntax;
2011-03-22 ago support for encoded positions (for id_position, longid_position) as pseudo type-constraints -- still inactive;
2010-12-21 ago configuration option "syntax_ast_trace" and "syntax_ast_stat";
2010-08-11 ago tuned whitespace;
2009-11-25 ago normalized uncurry take/drop
2009-11-24 ago curried take/drop
2009-10-21 ago dropped redundant gen_ prefix
2009-10-20 ago replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
2009-09-30 ago eliminated redundant bindings;
2009-09-29 ago explicit indication of Unsynchronized.ref;
2009-03-21 ago removed obsolete pprint operations;
2009-01-19 ago removed Ids;
2006-12-30 ago removed conditional combinator;
2006-04-27 ago tuned;
2006-04-26 ago tuned;
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-01 ago curried_lookup/update;
2005-06-29 ago removed obsolete (un)fold_ast2;
2005-05-17 ago tuned;
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-12-18 ago Syntax: last premise of "_bigimpl" is wrapped with "_asm", to have a hook for
2004-06-21 ago Merged in license change from Isabelle2004
2004-04-16 ago Replaced quote by Pretty.quote.
2002-01-16 ago GPLed;
2001-11-21 ago use tracing function for trace output;
2001-10-12 ago removed lookups count;
2001-01-16 ago export fold_ast etc.;
2000-07-16 ago AST translation rules no longer require constant head on LHS;
2000-05-30 ago renamed trace/stat_norm_ast to trace/stat_ast;
1998-10-20 ago simple Env replaced by Symtab;
1997-10-06 ago eliminated raise_ast;
1996-11-26 ago Eta-expansion of a function definition, for value polymorphism
1996-02-16 ago Elimination of fully-functorial style.
1995-05-26 ago changed macro expander such that patterns also match prefixes of appls;
1995-03-03 ago added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure)
1994-08-12 ago updated reference to parents
1994-02-03 ago minor internal changes;
1994-01-19 ago cosmetic changes;
1993-10-04 ago lots of internal cleaning and tuning;
1993-09-16 ago Initial revision