| Thu, 19 Dec 2019 16:16:49 +0100 | wenzelm | clarified backup; | changeset | files |
| Thu, 19 Dec 2019 15:55:52 +0100 | wenzelm | removed somewhat pointless option -R: more careful inspection of hgrc is required in practice; | changeset | files |
| Thu, 19 Dec 2019 15:29:48 +0100 | wenzelm | proper proof body context for Simplifier plugins (solvers, loopers, ...) -- avoid crash due to Subgoal.FOCUS (before e58bc223f46c); | changeset | files |