src/Pure/General/source.ML
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;