| Wed, 12 Jul 2006 17:00:32 +0200 | haftmann | added chop_prefix | changeset | files |
| Wed, 12 Jul 2006 17:00:31 +0200 | haftmann | class_of_param instead of class_of | changeset | files |
| Wed, 12 Jul 2006 17:00:30 +0200 | haftmann | adaptions in class_package | changeset | files |
| Wed, 12 Jul 2006 17:00:22 +0200 | haftmann | adaptions in codegen | changeset | files |
| Wed, 12 Jul 2006 00:34:54 +0200 | wenzelm | variants: special treatment of empty name; | changeset | files |
| Tue, 11 Jul 2006 23:49:32 +0200 | wenzelm | avoid reference to internal skolem; | changeset | files |
| Tue, 11 Jul 2006 23:00:39 +0200 | wenzelm | separate names filed (covers fixes/defaults); | changeset | files |