src/Pure/Isar/args.ML
2003-08-29 ballarin 2003-08-29 Methods rule_tac etc support static (Isar) contexts.
2001-08-21 wenzelm 2001-08-21 tuned error message;
2000-10-04 wenzelm 2000-10-04 added "bracks";
2000-09-19 wenzelm 2000-09-19 added common args keywords;
2000-09-13 wenzelm 2000-09-13 Args.addN, Args.delN;
2000-09-07 wenzelm 2000-09-07 avoid handle_error (better msgs);
2000-09-02 wenzelm 2000-09-02 added mode parser;
2000-08-30 wenzelm 2000-08-30 added string_of;
2000-08-04 wenzelm 2000-08-04 added int;
2000-08-03 wenzelm 2000-08-03 typ_no_norm;
2000-06-25 wenzelm 2000-06-25 removed obsolete "{}";
2000-05-21 wenzelm 2000-05-21 replaced {{ }} by { };
2000-05-05 wenzelm 2000-05-05 GPLed; added colon, parens;
2000-04-12 wenzelm 2000-04-12 Args.name_dummy;
2000-03-21 wenzelm 2000-03-21 goal_spec: [!];
2000-03-20 wenzelm 2000-03-20 goal_spec;
2000-02-22 wenzelm 2000-02-22 tuned syntax wrapper;
2000-02-13 wenzelm 2000-02-13 attrib: keyword_symid; goal_spec;
2000-01-05 wenzelm 2000-01-05 removed pats;
1999-09-21 wenzelm 1999-09-21 added bang_facts;
1999-04-16 wenzelm 1999-04-16 lifted enum; removed list(1); added and_list(1);
1998-11-19 wenzelm 1998-11-19 term_pat vs. prop_pat;
1998-11-17 wenzelm 1998-11-17 removed trace;
1998-11-16 wenzelm 1998-11-16 several args parsers; include positions; misc tuning;
1998-11-09 wenzelm 1998-11-09 Concrete argument syntax (for attributes, methods etc.).