| Mon, 19 Mar 2012 23:08:27 +0100 | wenzelm | explicit propagation of assignment event, even if changed command set is empty; | changeset | files |
| Mon, 19 Mar 2012 21:52:09 +0100 | wenzelm | modernized axiomatizations; | changeset | files |
| Mon, 19 Mar 2012 21:49:52 +0100 | wenzelm | modernized axiomatizations; | changeset | files |
| Mon, 19 Mar 2012 21:25:15 +0100 | wenzelm | updated Misc_Legacy.freeze_thaw; | changeset | files |
| Mon, 19 Mar 2012 21:16:19 +0100 | wenzelm | discontinued remains of duplicate exception UnequalLengths (cf. 441260986b63); | changeset | files |
| Mon, 19 Mar 2012 21:10:33 +0100 | wenzelm | moved some legacy stuff; | changeset | files |
| Mon, 19 Mar 2012 20:32:57 +0100 | wenzelm | clarified Binding.name_of vs Name_Space.base_name vs Variable.check_name (see also 9bd8d4addd6e, 3305f573294e); | changeset | files |
| Mon, 19 Mar 2012 19:49:54 +0100 | wenzelm | merged | changeset | files |