src/Pure/Syntax/syntax.ML
2007-08-20 ago standard_parse_term: added pp/check argument, include disambig here (from sign.ML);
2007-08-20 ago type_check: tuned singleton funs case;
2007-08-14 ago renamed standard_read_XXX to standard_parse_XXX;
2007-08-14 ago added generic wrapper for parse/read functions;
2007-08-13 ago moved appl syntax to PureThy;
2007-07-23 ago hide internal structures (again);
2007-07-09 ago type output = string indicates raw system output;
2007-07-08 ago replaced exception TableFun/GraphFun.DUPS by TableFun/GraphFun.DUP;
2007-07-07 ago pretty_sort/typ/term: markup;
2007-07-07 ago simplified pretty token metric: type int;
2007-04-21 ago TypeExt.decode_term;
2007-04-15 ago added read_term;
2007-04-03 ago avoid clash with Alice keywords;
2007-01-19 ago tuned Scan.extend_lexicon;
2006-12-30 ago removed conditional combinator;
2006-12-13 ago tuned signature;
2006-12-11 ago advanced translation functions: Proof.context;
2006-12-09 ago added internal_mode;
2006-12-07 ago added input_mode;
2006-11-26 ago extend_trtab: allow identical trfuns to be overwritten;
2006-09-29 ago Syntax.mode;
2006-09-21 ago member (op =);
2006-05-02 ago extend/remove_syntax: observe inout flag for translations, too;
2006-04-27 ago tuned basic list operators (flat, maps, map_filter);
2006-04-08 ago pretty_term: late externing of consts (support authentic syntax);
2006-03-21 ago subtract (op =);
2006-03-14 ago added remove_trrules(_i);
2006-02-15 ago removed distinct, renamed gen_distinct to distinct;
2006-02-08 ago introduced gen_distinct in place of distinct
2006-02-07 ago renamed gen_duplicates to duplicates;
2006-02-06 ago TableFun: renamed xxx_multi to xxx_list;
2006-02-03 ago canonical member/insert/merge;
2006-01-31 ago advanced translations: Context.generic;
2006-01-19 ago added basic syntax;
2006-01-14 ago sane ERROR handling;
2005-12-17 ago sort_distinct;
2005-09-20 ago slight adaptions to library changes
2005-09-15 ago TableFun/Symtab: curried lookup and update;
2005-09-08 ago introduces some modern-style AList operations
2005-09-01 ago curried_lookup/update;
2005-08-31 ago fixed ins_tokentr: AList.default;
2005-08-31 ago introduced AList.*
2005-08-28 ago removed obsolete type_syn;
2005-08-16 ago added eq_syntax;
2005-07-06 ago tuned msg;
2005-07-01 ago ambig msg: warning again;
2005-07-01 ago use tracing for potentially voluminous ambiguity output;
2005-06-29 ago proper treatment of advanced trfuns: pass thy argument;
2005-04-23 ago removed token_trans.ML (some content moved to syn_ext.ML);
2005-04-17 ago tuned;
2005-04-16 ago expect translations functions to be stamped already;
2005-03-04 ago Removed practically all references to Library.foldr.
2005-03-03 ago Move towards standard functions.
2005-02-13 ago Deleted Library.option type.
2004-06-21 ago Merged in license change from Isabelle2004
2004-06-09 ago removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode;
2004-05-21 ago Modified functions pt_to_ast and ast_to_term to improve handling
2004-04-29 ago added is_keyword;
2004-04-22 ago tuned interfaces to accomodate advanced translation functions;
2004-04-16 ago Replaced quote by Library.quote, since quote now refers to Symbol.quote