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