| 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 |
| Wed, 18 Dec 2019 18:59:16 +0100 | wenzelm | clarified signature; | changeset | files |