| Tue, 06 Oct 2015 09:27:31 +0200 |
blanchet |
avoid legacy syntax
|
changeset |
files
|
| Mon, 05 Oct 2015 23:03:50 +0200 |
blanchet |
further improved fine point w.r.t. replaying in the presence of chained facts and a non-empty meta-quantifier prefix + avoid printing internal names in backquotes
|
changeset |
files
|
| Mon, 05 Oct 2015 21:46:48 +0200 |
blanchet |
added "!=" (disequality) as a TPTP binary operator, since it pops up in LEO-II proofs
|
changeset |
files
|
| Mon, 05 Oct 2015 18:03:58 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 05 Oct 2015 18:03:52 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Mon, 05 Oct 2015 14:17:20 +0200 |
wenzelm |
produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking;
|
changeset |
files
|
| Mon, 05 Oct 2015 16:14:33 +0200 |
blanchet |
avoid too aggressive optimization of 'finite' predicate
|
changeset |
files
|
| Mon, 05 Oct 2015 15:57:25 +0200 |
blanchet |
avoid unsound simplification of (C (s x)) when s is a selector but not C's
|
changeset |
files
|
| Mon, 05 Oct 2015 13:26:25 +0200 |
blanchet |
extended theory exporter to also export MePo-selected facts
|
changeset |
files
|
| Sun, 04 Oct 2015 17:48:34 +0200 |
blanchet |
speed up MaSh duplicate check
|
changeset |
files
|
| Sun, 04 Oct 2015 17:41:52 +0200 |
blanchet |
sped up MaSh nickname generation
|
changeset |
files
|
| Sat, 03 Oct 2015 18:38:25 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 02 Oct 2015 23:22:49 +0200 |
wenzelm |
more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
|
changeset |
files
|
| Sat, 03 Oct 2015 17:11:04 +0200 |
blanchet |
speed up MaSh
|
changeset |
files
|
| Fri, 02 Oct 2015 21:31:51 +0200 |
blanchet |
updated docs and NEWS
|
changeset |
files
|
| Fri, 02 Oct 2015 21:29:09 +0200 |
blanchet |
updated docs
|
changeset |
files
|
| Fri, 02 Oct 2015 21:24:37 +0200 |
blanchet |
removed Nitpick nonblocking mode, that was never really used
|
changeset |
files
|
| Fri, 02 Oct 2015 21:21:51 +0200 |
blanchet |
adapted example
|
changeset |
files
|
| Fri, 02 Oct 2015 21:16:16 +0200 |
blanchet |
removed obsolete material in documentation
|
changeset |
files
|
| Fri, 02 Oct 2015 21:15:25 +0200 |
blanchet |
further reduced dependency on legacy async thread manager
|
changeset |
files
|
| Fri, 02 Oct 2015 21:06:32 +0200 |
blanchet |
removed legacy asynchronous mode in Sledgehammer
|
changeset |
files
|
| Fri, 02 Oct 2015 21:06:32 +0200 |
blanchet |
better compliance with TPTP SZS standard
|
changeset |
files
|
| Fri, 02 Oct 2015 20:28:56 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 02 Oct 2015 19:34:12 +0200 |
wenzelm |
avoid useless empty case_names;
|
changeset |
files
|