| Tue, 16 Aug 2016 20:54:37 +0200 |
wenzelm |
more robust;
|
changeset |
files
|
| Tue, 16 Aug 2016 15:55:11 +0200 |
wenzelm |
clarified presentation order, according to typical amounts;
|
changeset |
files
|
| Tue, 16 Aug 2016 15:51:44 +0200 |
wenzelm |
present ML timing as well;
|
changeset |
files
|
| Tue, 16 Aug 2016 12:41:43 +0200 |
eberlm |
Polynomial algebra cleanup (tuned)
|
changeset |
files
|
| Tue, 16 Aug 2016 12:02:09 +0200 |
eberlm |
Polynomial algebra cleanup
|
changeset |
files
|
| Sun, 14 Aug 2016 23:35:16 +0200 |
wenzelm |
provide index.html;
|
changeset |
files
|
| Sun, 14 Aug 2016 22:48:23 +0200 |
wenzelm |
cpu time is optional (see Timing.message_resources);
|
changeset |
files
|
| Sun, 14 Aug 2016 22:35:38 +0200 |
wenzelm |
proper display of "_";
|
changeset |
files
|
| Sun, 14 Aug 2016 22:17:32 +0200 |
wenzelm |
clarified options and arguments;
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
updated NEWS
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
optimized parent computation in MaSh
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
avoid loading MaSh file first time around for higher responsiveness of Sledgehammer
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuned MaSh's metacharacters to avoid needless decoding
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
optimization in MaSh parsing
|
changeset |
files
|
| Sun, 14 Aug 2016 12:26:09 +0200 |
blanchet |
tuned ML
|
changeset |
files
|