| Thu, 24 Mar 2011 11:45:39 +0100 | wenzelm | update_name: more uniform treatment of type constraints (NB: type equality is hard to establish in parse trees); | changeset | files |
| Wed, 23 Mar 2011 21:07:05 +0100 | wenzelm | added editor mode line; | changeset | files |