src/Pure/Syntax/syntax.ML
2005-12-17 wenzelm 2005-12-17 sort_distinct;
2005-09-20 haftmann 2005-09-20 slight adaptions to library changes
2005-09-15 wenzelm 2005-09-15 TableFun/Symtab: curried lookup and update;
2005-09-08 haftmann 2005-09-08 introduces some modern-style AList operations
2005-09-01 wenzelm 2005-09-01 curried_lookup/update;
2005-08-31 wenzelm 2005-08-31 fixed ins_tokentr: AList.default;
2005-08-31 haftmann 2005-08-31 introduced AList.*
2005-08-28 wenzelm 2005-08-28 removed obsolete type_syn;
2005-08-16 wenzelm 2005-08-16 added eq_syntax;
2005-07-06 wenzelm 2005-07-06 tuned msg;
2005-07-01 wenzelm 2005-07-01 ambig msg: warning again;
2005-07-01 wenzelm 2005-07-01 use tracing for potentially voluminous ambiguity output;
2005-06-29 wenzelm 2005-06-29 proper treatment of advanced trfuns: pass thy argument; tuned warning;
2005-04-23 wenzelm 2005-04-23 removed token_trans.ML (some content moved to syn_ext.ML);
2005-04-17 wenzelm 2005-04-17 tuned;
2005-04-16 wenzelm 2005-04-16 expect translations functions to be stamped already; added remove_const_gram;
2005-03-04 skalberg 2005-03-04 Removed practically all references to Library.foldr.
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-09 wenzelm 2004-06-09 removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode;
2004-05-21 berghofe 2004-05-21 Modified functions pt_to_ast and ast_to_term to improve handling of errors in parse (ast) translations caused by ambiguous input.
2004-04-29 wenzelm 2004-04-29 added is_keyword;
2004-04-22 wenzelm 2004-04-22 tuned interfaces to accomodate advanced translation functions;
2004-04-16 berghofe 2004-04-16 Replaced quote by Library.quote, since quote now refers to Symbol.quote
2003-08-31 skalberg 2003-08-31 Added 'ambiguity_is_error' flag, which, if set, makes the parser fail, rather than just issue a warning, when the input parsed is ambiguous.
2002-01-16 wenzelm 2002-01-16 GPLed;
2001-11-28 wenzelm 2001-11-28 removed unused simple_read_typ; read_typ, TypeExt.typ_of_term: map_sort argument;
2001-11-24 wenzelm 2001-11-24 Symtab.merge_multi'; tuned;
2001-11-07 wenzelm 2001-11-07 tuned;
2001-11-06 wenzelm 2001-11-06 extend_XXX: sane argument order ... -> syntax -> syntax;
2001-09-01 wenzelm 2001-09-01 tuned;
2001-08-31 berghofe 2001-08-31 Made consts list operations a bit faster.
2000-11-12 wenzelm 2000-11-12 removed junk;
2000-07-16 wenzelm 2000-07-16 AST translation rules no longer require constant head on LHS;
2000-05-21 wenzelm 2000-05-21 added read_sort;
2000-04-17 wenzelm 2000-04-17 Pretty.chunks;
1999-10-27 oheimb 1999-10-27 symbols in (error) messages now consistently with single backslash
1999-07-16 wenzelm 1999-07-16 tuned dest_lexicon;
1999-03-09 wenzelm 1999-03-09 token translation: real;
1999-01-29 oheimb 1999-01-29 corrected output of symbols for several (probably not all) relevant functions moved print_mode to ROOT.ML
1998-10-20 wenzelm 1998-10-20 made SML/NJ happy;
1998-10-20 wenzelm 1998-10-20 no open; handle multiple trfuns; tuned; removed trfun_names; structure BasicSyntax;
1998-05-02 wenzelm 1998-05-02 added trfun_names;
1998-03-09 wenzelm 1998-03-09 adapted to symbols, scan;
1998-02-12 wenzelm 1998-02-12 export map_trrule;
1997-12-29 wenzelm 1997-12-29 removed distinct_fst_string;
1997-12-28 wenzelm 1997-12-28 renamed Symtab.null to Symtab.empty;
1997-11-05 wenzelm 1997-11-05 adapted extend_trfunsT;
1997-11-03 wenzelm 1997-11-03 tuned: distinct_fst_string;
1997-10-10 wenzelm 1997-10-10 constify: qualified is const;
1997-10-06 wenzelm 1997-10-06 added simple_str_of_sort;
1997-10-06 wenzelm 1997-10-06 added pretty_sort; tuned read_typ; tuned pretty_term; removed string_of_term, string_of_typ;
1997-09-29 wenzelm 1997-09-29 improved warning;
1997-07-18 wenzelm 1997-07-18 tuned warning; renamed |-> <-| <-> to Parse/PrintRule;
1997-04-04 wenzelm 1997-04-04 fixed diagnostic output of print modes;
1997-02-28 wenzelm 1997-02-28 improved err msg;
1997-02-28 wenzelm 1997-02-28 added token translation support;
1997-02-06 wenzelm 1997-02-06 adapted read_typ, simple_read_typ;
1997-01-13 wenzelm 1997-01-13 replaced unit refs by 'stamp';