Fri, 12 Sep 2014 11:16:47 +0200 | blanchet | fixed spellings | changeset | files |
Fri, 12 Sep 2014 07:38:15 +0200 | haftmann | NEWS | changeset | files |
Thu, 11 Sep 2014 23:12:32 +0200 | haftmann | abstract product over monoid for lists | changeset | files |
Thu, 11 Sep 2014 18:33:56 +0200 | haftmann | use proto_base_sort uniformly | changeset | files |
Thu, 11 Sep 2014 21:11:03 +0200 | blanchet | fixed some spelling mistakes | changeset | files |
Thu, 11 Sep 2014 20:01:29 +0200 | blanchet | tuned comment | changeset | files |
Thu, 11 Sep 2014 19:59:46 +0200 | blanchet | more porting to new datatypes | changeset | files |