| Mon, 20 Mar 2006 17:15:35 +0100 | ballarin | Tuned signature of Locale.add_locale(_i). | changeset | files |
| Sat, 18 Mar 2006 20:10:51 +0100 | wenzelm | simplified mg_domain (use Sign.classes/arities_of); | changeset | files |
| Sat, 18 Mar 2006 20:10:50 +0100 | wenzelm | made $$ and "this" monomorphic (string); | changeset | files |
| Sat, 18 Mar 2006 20:10:49 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 18 Mar 2006 20:10:48 +0100 | wenzelm | export arities_of instead of classes_arities_of; | changeset | files |
| Sat, 18 Mar 2006 18:33:49 +0100 | wenzelm | updated; | changeset | files |
| Sat, 18 Mar 2006 18:33:40 +0100 | wenzelm | renamed const less to lt; | changeset | files |