Wed, 06 Sep 2006 13:48:02 +0200 | haftmann | got rid of Numeral.bin type | changeset | files |
Wed, 06 Sep 2006 10:01:27 +0200 | haftmann | now using TypecopyPackage | changeset | files |
Wed, 06 Sep 2006 10:01:04 +0200 | haftmann | TypedefPackage.add_typedef_* now yields name of introduced type constructor | changeset | files |