src/Pure/Syntax/parser.ML
2012-08-29 ago renamed Position.str_of to Position.here;
2012-03-21 ago prefer explicitly qualified exception List.Empty;
2011-11-25 ago removed obsolete argument (cf. 954e9d6782ea);
2011-11-25 ago prefer Parser.make_gram over Parser.merge_gram, to approximate n-ary merges on theory import;
2011-08-09 ago removed "extremely ambigous" warning; has been ignored by everyone for years.
2011-04-17 ago clarified pretty_parsetree: suppress literal tokens;
2011-04-08 ago discontinued special treatment of structure Syntax_Ext (formerly Syn_Ext);
2011-04-07 ago report literal tokens according to parsetree head;
2011-04-05 ago use standard tables with standard argument order;
2011-04-04 ago accumulate parsetrees in canonical reverse order;
2011-04-04 ago tuned;
2011-04-04 ago tuned -- removed redundancy;
2011-04-04 ago tuned signatures;
2011-04-04 ago streamlined token list operations, assuming that the order of union does not matter;
2011-04-04 ago misc tuning and clarification;
2011-04-04 ago direct pretty printing of parsetrees -- prevent diagnostic output from crashing due to undeclared entities;
2010-12-21 ago configuration option "syntax_branching_level";
2010-12-04 ago added Syntax.default_root;
2010-08-30 ago tuned messages: discontinued spurious full-stops (messages are occasionally composed unexpectedly);
2010-08-27 ago more careful treatment of context visibility flag wrt. spurious warnings;
2010-08-25 ago eliminated some old camel case stuff;
2010-08-25 ago some attempts to recover Isabelle/ML style from the depths of time;
2010-08-25 ago keep persistent production tables as immutable vectors -- potential performance improvement on modern hardware;
2010-07-20 ago eliminated old-style sys_error/SYS_ERROR in favour of exception Fail -- after careful checking that there is no overlap with existing handling of that;
2010-07-02 ago standard argument order;
2010-07-02 ago do not open auxiliary ML structures;
2010-05-31 ago modernized some structure names, keeping a few legacy aliases;
2009-10-29 ago standardized filter/filter_out;
2009-10-22 ago map_range (and map_index) combinator
2009-10-21 ago curried union as canonical list operation
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-29 ago explicit indication of Unsynchronized.ref;
2009-03-01 ago discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
2009-01-19 ago removed Ids;
2008-11-18 ago signed_string_of_int for priorities;
2008-08-09 ago tuned error message;
2008-08-09 ago datatype token: maintain range, tuned representation;
2008-04-16 ago educated guess for infix syntax
2008-02-14 ago syntax error: suppress expected categories altogether;
2008-02-14 ago expected syntax categories: reduced duplication, report minimal priorities only;
2008-01-26 ago syntax error: unified output of priorities;
2008-01-26 ago syntax error: reduced spam -- print expected nonterminals instead of terminals;
2007-08-13 ago Lexicon.tokenize: do not appen EndToken yet;
2007-07-23 ago avoid global reference warned'';
2007-07-22 ago avoid polymorphic equality;
2007-04-03 ago avoid clash with Alice keywords;
2006-11-28 ago simplified '?' operator;
2006-10-10 ago gen_rem(s) abandoned in favour of remove / subtract
2006-10-04 ago insert replacing ins ins_int ins_string
2006-09-21 ago member (op =);
2006-04-27 ago tuned basic list operators (flat, maps, map_filter);
2006-03-21 ago avoid polymorphic equality;
2006-02-15 ago removed distinct, renamed gen_distinct to distinct;
2006-02-08 ago introduced gen_distinct in place of distinct
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 introduced AList.*
2005-07-01 ago avoid polyeq;