| Sat, 03 Mar 2012 16:59:30 +0100 |
wenzelm |
explicit syslog_limit reduces danger of low-level message flooding;
|
changeset |
files
|
| Sat, 03 Mar 2012 14:04:49 +0100 |
wenzelm |
retain original "uses" (again) -- still required for Thy_Load.use_file etc. in ML (notably for maintaining required/provided);
|
changeset |
files
|
| Sat, 03 Mar 2012 11:31:12 +0100 |
wenzelm |
clarified scope of exception handlers;
|
changeset |
files
|
| Sat, 03 Mar 2012 11:09:17 +0100 |
wenzelm |
relevant timing as in ML;
|
changeset |
files
|
| Fri, 02 Mar 2012 21:45:45 +0100 |
haftmann |
more fundamental pred-to-set conversions for range and domain by means of inductive_set
|
changeset |
files
|
| Fri, 02 Mar 2012 22:57:57 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 02 Mar 2012 18:26:54 +0100 |
haftmann |
tuned whitespace
|
changeset |
files
|
| Fri, 02 Mar 2012 15:18:05 +0100 |
haftmann |
tuned import
|
changeset |
files
|
| Fri, 02 Mar 2012 15:17:54 +0100 |
haftmann |
dropped dead code
|
changeset |
files
|
| Fri, 02 Mar 2012 22:34:42 +0100 |
wenzelm |
terminate after first exception -- avoid syslog flooding;
|
changeset |
files
|
| Fri, 02 Mar 2012 21:22:42 +0100 |
wenzelm |
avoid buffer loading overrun;
|
changeset |
files
|
| Fri, 02 Mar 2012 19:05:13 +0100 |
wenzelm |
merged
|
changeset |
files
|