| 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 |
| Thu, 19 Dec 2019 15:22:35 +0100 | wenzelm | more robust bound_fixes: external name does appear in "fixes" name space and could clash with direct fixes (e.g. via Subgoal.FOCUS within a global context); | changeset | files |
| Thu, 19 Dec 2019 14:46:10 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 18 Dec 2019 22:26:21 +0100 | wenzelm | proper backup; | changeset | files |
| Wed, 18 Dec 2019 21:28:50 +0100 | wenzelm | clarified signature; | changeset | files |
| Wed, 18 Dec 2019 21:18:14 +0100 | wenzelm | more ambitious edit_hgrc; | changeset | files |
| Wed, 18 Dec 2019 20:15:26 +0100 | wenzelm | added command hg_setup: setup remote vs. local Mercurial repository; | changeset | files |