src/Pure/Isar/args.ML
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.).