| Thu, 02 Mar 2023 17:17:18 +0000 | paulson | Some new lemmas. Some tidying up | changeset | files |
| Fri, 03 Mar 2023 11:25:29 +0100 | blanchet | detect duplicates in Sledgehammer output -- suggested by Larry Paulson | changeset | files |
| Fri, 03 Mar 2023 10:30:10 +0100 | blanchet | got rid of 'important message' mechanism in SystemOnTPTP (which is less used nowadays) | changeset | files |
| Thu, 02 Mar 2023 17:46:29 +0100 | wenzelm | merged | changeset | files |
| Thu, 02 Mar 2023 17:05:24 +0100 | wenzelm | clarified execution context: main work happens within Future.thread; | changeset | files |
| Thu, 02 Mar 2023 16:39:42 +0100 | wenzelm | clarified timeout: closer to actual process; | changeset | files |
| Thu, 02 Mar 2023 16:24:23 +0100 | wenzelm | tuned names; | changeset | files |