| Thu, 19 Dec 2019 17:26:06 +0100 | wenzelm | more documentation; | changeset | files |
| Thu, 19 Dec 2019 16:55:33 +0100 | wenzelm | tuned documentation; | changeset | files |
| Thu, 19 Dec 2019 16:49:29 +0100 | wenzelm | more documentation; | changeset | files |
| Thu, 19 Dec 2019 16:21:52 +0100 | wenzelm | added option -r: support more robust consolidation of local clones with varying names; | changeset | files |
| 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 |