#
b9f8cb54 |
|
14-Dec-2016 |
wenzelm <none@none> |
removed of_string_limited;
|
#
b5dd712b |
|
01-Nov-2014 |
wenzelm <none@none> |
recover via scanner; tuned signature;
|
#
4b9210f6 |
|
01-Nov-2014 |
wenzelm <none@none> |
simplified -- scanning is never interactive;
|
#
3b1ab36a |
|
31-Oct-2014 |
wenzelm <none@none> |
discontinued obsolete tty and prompt;
|
#
38b673d6 |
|
11-Nov-2013 |
wenzelm <none@none> |
tuned signature;
|
#
14e6bac1 |
|
19-Nov-2010 |
wenzelm <none@none> |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
#
b853a96e |
|
09-Aug-2010 |
wenzelm <none@none> |
Isabelle_Process: separate input fifo for commands (still using the old tty protocol); some partial workarounds for Cygwin;
|
#
d8ef6311 |
|
21-Jul-2010 |
wenzelm <none@none> |
replaced Source.of_list_limited by slightly more economic Source.of_string_limited;
|
#
1bd59ac7 |
|
21-Jan-2009 |
wenzelm <none@none> |
removed Ids;
|
#
247c6726 |
|
04-Aug-2008 |
wenzelm <none@none> |
abstract type Scan.stopper;
|
#
6412c3f2 |
|
06-Jan-2008 |
wenzelm <none@none> |
removed unused of_stream; tty: Output.prompt, avoid low-level TextIO;
|
#
b1b90594 |
|
07-Dec-2007 |
wenzelm <none@none> |
output_prompt: CRITICAL;
|
#
9a21c687 |
|
12-Aug-2007 |
wenzelm <none@none> |
stream source: non-critical, assuming exclusive ownership;
|
#
93148487 |
|
29-Jul-2007 |
wenzelm <none@none> |
added of_list_limited (with limit argument); removed of_string_limited;
|
#
72ae5946 |
|
29-Jul-2007 |
wenzelm <none@none> |
NAMED_CRITICAL;
|
#
9bed50ab |
|
23-Jul-2007 |
wenzelm <none@none> |
marked some CRITICAL sections;
|
#
9e0a63cc |
|
19-Jul-2007 |
wenzelm <none@none> |
added of_string_limited (more efficient for partial scans);
|
#
eb7291e7 |
|
10-Jul-2007 |
wenzelm <none@none> |
moved source cascading from scan.ML to source.ML;
|
#
6aaf8e79 |
|
09-Jul-2007 |
wenzelm <none@none> |
nested source: explicit interactive flag for recover avoids duplicate errors;
|
#
f2d2bd29 |
|
09-Jul-2007 |
wenzelm <none@none> |
nested source: error msg passed to recover;
|
#
7f2e14c6 |
|
09-Jul-2007 |
wenzelm <none@none> |
prompt: plain string, not output;
|
#
45044a13 |
|
30-May-2007 |
wenzelm <none@none> |
TextIO.inputLine: use present SML B library version;
|
#
257841c1 |
|
27-Sep-2006 |
wenzelm <none@none> |
removed obsolete of_instream_slurp -- now already included in tty;
|
#
adb5e731 |
|
27-Sep-2006 |
wenzelm <none@none> |
of_stream/tty: slurp input eagerly;
|
#
44f12431 |
|
20-Sep-2006 |
aspinall <none@none> |
Add Source.of_instream_slurp to try to ensure that XML parser sees whole documents.
|
#
45c3cbf7 |
|
27-Apr-2006 |
wenzelm <none@none> |
renamed Source.mapfilter to Source.map_filter;
|
#
3dffd254 |
|
13-Feb-2005 |
skalberg <none@none> |
Deleted Library.option type.
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
b7338528 |
|
10-May-2004 |
wenzelm <none@none> |
Source.of_list: no buffer limitation (now pointless due to tail-recursive Scan.repeat);
|
#
5ec7fa4f |
|
29-Dec-2000 |
wenzelm <none@none> |
recover: result;
|
#
fdfbcc87 |
|
25-Jun-2000 |
wenzelm <none@none> |
added exhausted: ('a, 'b) source -> ('a, 'a list) source;
|
#
9d1fc842 |
|
05-May-2000 |
wenzelm <none@none> |
GPLed;
|
#
b2e737cc |
|
13-Jan-2000 |
wenzelm <none@none> |
tuned comment;
|
#
423c034a |
|
21-May-1999 |
wenzelm <none@none> |
added default_prompt; removed decorate_prompt_fn hook;
|
#
b6d92876 |
|
12-May-1999 |
wenzelm <none@none> |
rearranged order of modules;
|
#
cc140c47 |
|
03-Feb-1999 |
wenzelm <none@none> |
of_file: Path.T, Position.T;
|
#
79ef12f0 |
|
13-Jan-1999 |
wenzelm <none@none> |
fixed titles;
|
#
bf699849 |
|
12-Jan-1999 |
wenzelm <none@none> |
files scan.ML, source.ML, symbol.ML, pretty.ML moved to Pure/General;
|