| Wed, 18 Aug 2010 16:59:35 +0200 | haftmann | removed separate quickcheck_record module | changeset | files |
| Wed, 18 Aug 2010 15:01:57 +0200 | haftmann | liberal instantiation of class eq; tuned naming scheme | changeset | files |
| Wed, 18 Aug 2010 15:01:57 +0200 | haftmann | more helpful NEWS entry | changeset | files |
| Tue, 17 Aug 2010 16:44:24 +0200 | haftmann | dropped SML typedef_codegen: does not fit to code equations for record operations any longer | changeset | files |
| Tue, 17 Aug 2010 16:44:21 +0200 | haftmann | preemptive NEWS | changeset | files |
| Tue, 17 Aug 2010 16:35:23 +0200 | haftmann | tuned code | changeset | files |
| Tue, 17 Aug 2010 16:27:58 +0200 | haftmann | use extension constant as formal constructor of logical record type | changeset | files |
| Tue, 17 Aug 2010 16:27:58 +0200 | haftmann | deleted typecopy package | changeset | files |