| Tue, 31 May 2005 11:53:23 +0200 | wenzelm | renamed cond_extern to extern; | changeset | files |
| Tue, 31 May 2005 11:53:22 +0200 | wenzelm | tuned msg; | changeset | files |
| Tue, 31 May 2005 11:53:21 +0200 | wenzelm | added nth_prem; | changeset | files |
| Tue, 31 May 2005 11:53:20 +0200 | wenzelm | export filter; | changeset | files |
| Tue, 31 May 2005 11:53:19 +0200 | wenzelm | Sign.declare_name replaces NameSpace.extend; | changeset | files |
| Tue, 31 May 2005 11:53:18 +0200 | wenzelm | renamed cond_extern to extern; | changeset | files |
| Tue, 31 May 2005 11:53:17 +0200 | wenzelm | fixed outer syntax: allow type_args with parentheses; | changeset | files |