src/Pure/Syntax/scan.ML
1998-11-29 wenzelm 1998-11-29 eliminated "Trying to recover ..." msg;
1998-11-16 wenzelm 1998-11-16 added read;
1998-11-14 wenzelm 1998-11-14 added unless, first;
1998-06-18 wenzelm 1998-06-18 replaced warning by error_msg;
1998-05-26 wenzelm 1998-05-26 made SML/NJ happy;
1998-05-25 wenzelm 1998-05-25 added catch: ('a -> 'b) -> 'a -> 'b; tuned source(');
1998-05-20 wenzelm 1998-05-20 source vs. source';
1998-05-18 wenzelm 1998-05-18 improved finite scans: more abstract stopper; fixed source: now actually handles finite scans; tuned bulk;
1998-05-13 wenzelm 1998-05-13 added :-- (dependent pair);
1998-05-13 wenzelm 1998-05-13 added fail_with and adapted !!;
1998-05-07 wenzelm 1998-05-07 improved source: state-based; tuned bulk;
1998-03-24 wenzelm 1998-03-24 added try, single, many; improved source: prompt;
1998-03-09 wenzelm 1998-03-09 Generic scanners (for potentially infinite input) -- replaces Scanner;