| Wed, 08 Jul 2020 14:43:02 +0200 | wenzelm | more robust protocol for "Timing ..." messages, notably for pide_session=true; | changeset | files |
| Mon, 06 Jul 2020 16:52:48 +0200 | blanchet | removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible with post-2016 reforms to local theories | changeset | files |
| Mon, 06 Jul 2020 10:47:30 +0000 | haftmann | separation of traditional bit operations | changeset | files |
| Sun, 05 Jul 2020 11:06:09 +0200 | wenzelm | no pide_session on macos: avoid odd "hang" of remote_build_history; | changeset | files |
| Sun, 05 Jul 2020 11:00:57 +0200 | wenzelm | support generated preferences, i.e. non-strict system options; | changeset | files |
| Sat, 04 Jul 2020 20:45:24 +0000 | haftmann | factored out auxiliary theory | changeset | files |
| Sat, 04 Jul 2020 20:45:21 +0000 | haftmann | prefer explicit proof | changeset | files |
| Fri, 03 Jul 2020 17:11:57 +0200 | wenzelm | tuned whitespace; | changeset | files |