src/Pure/General/source.ML
2007-07-10 wenzelm 2007-07-10 moved source cascading from scan.ML to source.ML;
2007-07-10 wenzelm 2007-07-10 nested source: explicit interactive flag for recover avoids duplicate errors;
2007-07-09 wenzelm 2007-07-09 nested source: error msg passed to recover;
2007-07-09 wenzelm 2007-07-09 prompt: plain string, not output;
2007-05-31 wenzelm 2007-05-31 TextIO.inputLine: use present SML B library version;
2006-09-27 wenzelm 2006-09-27 removed obsolete of_instream_slurp -- now already included in tty;
2006-09-27 wenzelm 2006-09-27 of_stream/tty: slurp input eagerly;
2006-09-20 aspinall 2006-09-20 Add Source.of_instream_slurp to try to ensure that XML parser sees whole documents.
2006-04-27 wenzelm 2006-04-27 renamed Source.mapfilter to Source.map_filter;
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-05-10 wenzelm 2004-05-10 Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat);
2000-12-29 wenzelm 2000-12-29 recover: result;
2000-06-25 wenzelm 2000-06-25 added exhausted: ('a, 'b) source -> ('a, 'a list) source;
2000-05-05 wenzelm 2000-05-05 GPLed;
2000-01-13 wenzelm 2000-01-13 tuned comment;
1999-05-21 wenzelm 1999-05-21 added default_prompt; removed decorate_prompt_fn hook;
1999-05-12 wenzelm 1999-05-12 rearranged order of modules;
1999-02-03 wenzelm 1999-02-03 of_file: Path.T, Position.T;
1999-01-13 wenzelm 1999-01-13 fixed titles;
1999-01-13 wenzelm 1999-01-13 files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;