| Wed, 27 Apr 2011 20:19:05 +0200 | wenzelm | more precise position information via Variable.add_fixes_binding; | changeset | files |
| Wed, 27 Apr 2011 19:55:42 +0200 | wenzelm | more formal treatment of parameters, avoiding slightly odd Variable.intern_fixed; | changeset | files |
| Wed, 27 Apr 2011 19:39:50 +0200 | wenzelm | some adhoc renaming, to accomodate more strict checks of fixes (cf. 4638622bcaa1); | changeset | files |
| Wed, 27 Apr 2011 17:58:45 +0200 | wenzelm | reorganized fixes as specialized (global) name space; | changeset | files |
| Wed, 27 Apr 2011 17:44:06 +0200 | wenzelm | export Name_Space.entry_ord; | changeset | files |
| Wed, 27 Apr 2011 17:20:29 +0200 | wenzelm | direct use of Variable.is_fixed; | changeset | files |