src/Pure/Isar/outer_parse.ML
2006-03-04 wenzelm 2006-03-04 method: syntax for SelectGoals;
2006-02-10 wenzelm 2006-02-10 statement: improved error msg;
2006-02-02 wenzelm 2006-02-02 added parname; added (general_)statement (from isar_syn.ML); general_statement: Elements.statement, i.e. Shows/Obtains;
2006-01-13 wenzelm 2006-01-13 uniform handling of fixes; mixfix: added Structure;
2006-01-07 wenzelm 2006-01-07 added param, spec, named_spec;
2005-11-09 wenzelm 2005-11-09 P.context_element, P.locale_element;
2005-10-28 wenzelm 2005-10-28 syntax for literal facts;
2005-10-04 wenzelm 2005-10-04 minor tweaks for Poplog/ML;
2005-09-13 wenzelm 2005-09-13 added name_facts;
2005-08-28 wenzelm 2005-08-28 added alt_string;
2005-08-16 wenzelm 2005-08-16 added tags parser;
2005-07-07 ballarin 2005-07-07 Preparations for interpretation of locales in locales.
2005-06-20 wenzelm 2005-06-20 thmref: Name vs. NameSelection;
2005-06-01 ballarin 2005-06-01 Locales: new element constrains, parameter renaming with syntax, experimental command instantiate withdrawn.
2005-05-27 ballarin 2005-05-27 Locale expressions: rename with optional mixfix syntax.
2005-05-22 wenzelm 2005-05-22 added reserved;
2005-05-17 wenzelm 2005-05-17 tuned;
2005-05-16 kleing 2005-05-16 export parser for "-"
2005-04-13 wenzelm 2005-04-13 *** MESSAGE REFERS TO PREVIOUS VERSION *** removed uterm, added 'maybe'; Attrib.src; improved thm_sel;
2005-04-13 wenzelm 2005-04-13 *** empty log message ***
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2005-01-24 berghofe 2005-01-24 Specific theorems in a named list of theorems can now be referred to via indices (type thmref).
2004-09-27 ballarin 2004-09-27 Modified locales: improved implementation of "includes".
2004-08-12 ballarin 2004-08-12 Disallowed "includes" in locale declarations.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-15 wenzelm 2004-06-15 added path;
2004-05-29 wenzelm 2004-05-29 Library.read_int; Output.output;
2004-04-22 wenzelm 2004-04-22 added opt_keyword, mixfix';
2004-04-16 wenzelm 2004-04-16 'instance' and intro_classes now handle general sorts;
2004-04-02 ballarin 2004-04-02 Experimental command for instantiation of locales in proof contexts: instantiate <label>: <loc>
2002-02-26 wenzelm 2002-02-26 renamed "uses" to "includes";
2002-02-25 wenzelm 2002-02-25 export locale_target, locale_keyword;
2002-02-12 wenzelm 2002-02-12 got rid of explicit marginal comments (now stripped earlier from input);
2001-11-22 wenzelm 2001-11-22 improved locale expression syntax;
2001-11-22 wenzelm 2001-11-22 added uname; syntax for locale expressions (presently unused);
2001-11-21 wenzelm 2001-11-21 locale expressions;
2001-11-06 wenzelm 2001-11-06 locale_element/uses: string;
2001-11-06 wenzelm 2001-11-06 group locale_element;
2001-11-05 wenzelm 2001-11-05 locale_element: optional typ;
2001-11-04 wenzelm 2001-11-04 added locale_element;
2001-10-16 wenzelm 2001-10-16 parser for underscore (actually a symbolic identifier!);
2001-10-02 wenzelm 2001-10-02 support non-oriented infix;
2000-06-27 wenzelm 2000-06-27 OuterLex.name_of: include val;
2000-06-25 wenzelm 2000-06-25 added semicolon; added arguments; tuned;
2000-06-04 wenzelm 2000-06-04 opt_mixfix', opt_infix';
2000-05-21 wenzelm 2000-05-21 adapted to inner syntax of sorts;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-04-01 wenzelm 2000-04-01 tuned mixfix syntax;
2000-03-26 wenzelm 2000-03-26 made SML/NJ happy;
2000-03-26 wenzelm 2000-03-26 !!!! = cut "Corrupted outer syntax in presentation";
2000-03-06 wenzelm 2000-03-06 argument: include verbatim;
2000-02-13 wenzelm 2000-02-13 tuned attrib;
2000-01-26 wenzelm 2000-01-26 'name' etc. include 'number'; attrib: include keyword_sid as name;
1999-12-22 wenzelm 1999-12-22 marg_comment: repeat;
1999-10-26 wenzelm 1999-10-26 added opt_unit (from isar_syn.ML);
1999-09-04 wenzelm 1999-09-04 removed text vars;
1999-09-01 wenzelm 1999-09-01 any_props: improved error; removed "*" method combinator;
1999-08-25 wenzelm 1999-08-25 fixed arity;
1999-08-03 wenzelm 1999-08-03 improved interest;