more robust protocol for "Timing ..." messages, notably for pide_session=true;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3e08311ada8e: removed 'freeze_problem_consts' hack in TPTP tools, which wasn't compatible…
- Branches
- Unknown
- Tags