| 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 |