| Tue, 05 Jan 2010 11:38:51 +0100 |
haftmann |
repaired legacy setting variable
|
changeset |
files
|
| Tue, 05 Jan 2010 11:25:14 +0100 |
haftmann |
merged
|
changeset |
files
|
| Tue, 05 Jan 2010 11:25:01 +0100 |
haftmann |
more correct handling of empty functions
|
changeset |
files
|
| Tue, 05 Jan 2010 16:29:31 +0100 |
wenzelm |
separate module Thy_Syntax for command span parsing;
|
changeset |
files
|
| Tue, 05 Jan 2010 16:29:03 +0100 |
wenzelm |
more accurate scanning of bad input;
|
changeset |
files
|
| Tue, 05 Jan 2010 15:45:32 +0100 |
wenzelm |
added filter_proper parameter;
|
changeset |
files
|
| Tue, 05 Jan 2010 15:44:32 +0100 |
wenzelm |
more token discriminators;
|
changeset |
files
|
| Tue, 05 Jan 2010 15:44:06 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 05 Jan 2010 15:43:44 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 05 Jan 2010 13:45:17 +0100 |
wenzelm |
added Promise.fulfill_result;
|
changeset |
files
|
| Tue, 05 Jan 2010 13:34:53 +0100 |
wenzelm |
slightly shorter tail (again) -- theory loader produces less warning spam (cf. 2524c1bbd087);
|
changeset |
files
|
| Tue, 05 Jan 2010 00:04:29 +0100 |
wenzelm |
kill failed theories in reverse order -- avoids cascaded warnings;
|
changeset |
files
|