Thu, 25 Sep 2014 16:35:51 +0200 | desharna | generate 'dtor_corec_transfer' for codatatypes | changeset | files |
Thu, 25 Sep 2014 16:35:50 +0200 | desharna | generate 'ctor_rec_transfer' for datatypes | changeset | files |
Mon, 01 Sep 2014 14:14:47 +0200 | traytel | goal generation for xtor_co_rec_transfer | changeset | files |