| Wed, 26 Sep 2007 19:17:55 +0200 | wenzelm | removed dead code; | changeset | files |
| Wed, 26 Sep 2007 11:27:46 +0200 | wenzelm | declare_constraints: declare (fix) type variables within constraints, but not terms themselves; | changeset | files |
| Wed, 26 Sep 2007 09:05:58 +0200 | haftmann | made SML/NJ happy | changeset | files |
| Tue, 25 Sep 2007 21:08:36 +0200 | haftmann | rudimentary support for Haskell | changeset | files |