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