| Wed, 03 Sep 2008 17:47:35 +0200 | wenzelm | simplified specify_const: canonical args, global deps; | changeset | files |
| Wed, 03 Sep 2008 17:47:34 +0200 | wenzelm | declare_const: Name.binding, store/report position; | changeset | files |
| Wed, 03 Sep 2008 17:47:30 +0200 | wenzelm | Sign.declare_const: Name.binding; | changeset | files |