removed of_string_limited;

recover via scanner;
tuned signature;

simplified -- scanning is never interactive;

discontinued obsolete tty and prompt;

tuned signature;

renamed raw "explode" function to "raw_explode" to emphasize its meaning;

Isabelle_Process: separate input fifo for commands (still using the old tty protocol);
some partial workarounds for Cygwin;

replaced Source.of_list_limited by slightly more economic Source.of_string_limited;

removed Ids;

abstract type Scan.stopper;

removed unused of_stream;
tty: Output.prompt, avoid low-level TextIO;

output_prompt: CRITICAL;

stream source: non-critical, assuming exclusive ownership;

added of_list_limited (with limit argument);
removed of_string_limited;

NAMED_CRITICAL;

marked some CRITICAL sections;

added of_string_limited (more efficient for partial scans);

moved source cascading from scan.ML to source.ML;

nested source: explicit interactive flag for recover avoids duplicate errors;

nested source: error msg passed to recover;

prompt: plain string, not output;

TextIO.inputLine: use present SML B library version;

removed obsolete of_instream_slurp -- now already included in tty;

of_stream/tty: slurp input eagerly;

Add Source.of_instream_slurp to try to ensure that XML parser sees whole documents.

renamed Source.mapfilter to Source.map_filter;

Deleted Library.option type.

Merged in license change from Isabelle2004

Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat);

recover: result;

added exhausted: ('a, 'b) source -> ('a, 'a list) source;

GPLed;

tuned comment;

added default_prompt;
removed decorate_prompt_fn hook;

rearranged order of modules;

of_file: Path.T, Position.T;

fixed titles;

files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;