Thu, 19 Mar 2009 13:28:55 +0100 | wenzelm | use Name.of_binding for basic logical entities without name space (fixes, case names etc.); | changeset | files |
Thu, 19 Mar 2009 13:26:19 +0100 | wenzelm | Name.of_binding: proper full_name (with checks) before projecting base name; | changeset | files |
Thu, 19 Mar 2009 11:51:49 +0100 | wenzelm | merged | changeset | files |