| 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 |