Wed, 28 Jun 2006 14:36:09 +0200 | haftmann | reduced code, better instance command | changeset | files |
Wed, 28 Jun 2006 14:35:51 +0200 | haftmann | slight improvements in code generation | changeset | files |
Wed, 28 Jun 2006 14:35:10 +0200 | haftmann | added lookup function for parameters | changeset | files |
Wed, 28 Jun 2006 09:27:53 +0200 | paulson | disjunctive wellfoundedness | changeset | files |
Tue, 27 Jun 2006 10:10:20 +0200 | haftmann | class package refinements, slight code generation refinements | changeset | files |
Tue, 27 Jun 2006 10:09:48 +0200 | haftmann | added class projection | changeset | files |
Tue, 27 Jun 2006 10:09:44 +0200 | haftmann | slight improvement | changeset | files |