| 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 |
| Wed, 27 Apr 2011 14:11:37 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 27 Apr 2011 13:21:12 +0200 | wenzelm | predefined LaTeX macros for \<bind> and \<then>; | changeset | files |
| Wed, 27 Apr 2011 10:49:39 +0200 | wenzelm | eliminated obsolete Function_Lib.frees_in_term; | changeset | files |