Fri, 10 Jul 2020 21:30:21 +0200 | wenzelm | more robust, notably for isabelle_cronjob; | changeset | files |
Fri, 10 Jul 2020 21:23:01 +0200 | wenzelm | more robust build_session protocol: allow prover process to terminate/crash without build_session_finished message; | changeset | files |
Thu, 09 Jul 2020 11:39:16 +0200 | desharna | Update Metis to 2.4 | changeset | files |
Wed, 08 Jul 2020 16:35:23 +0200 | wenzelm | updated to polyml-5.8.1-20200708: recent repository version for testing; | changeset | files |
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 |