| Thu, 06 Mar 2014 10:12:47 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 06 Mar 2014 10:11:38 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 06 Mar 2014 17:55:39 +0100 | Lars Hupel | tuned | changeset | files |
| Thu, 06 Mar 2014 15:40:33 +0100 | blanchet | renamed 'fun_rel' to 'rel_fun' | changeset | files |
| Thu, 06 Mar 2014 15:29:18 +0100 | blanchet | renamed 'prod_rel' to 'rel_prod' | changeset | files |
| Thu, 06 Mar 2014 15:25:21 +0100 | blanchet | renamed 'sum_rel' to 'rel_sum' | changeset | files |
| Thu, 06 Mar 2014 15:14:09 +0100 | blanchet | renamed 'filter_rel' to 'rel_filter' | changeset | files |
| Thu, 06 Mar 2014 15:12:23 +0100 | blanchet | renamed 'endofun_rel' to 'rel_endofun' | changeset | files |
| Thu, 06 Mar 2014 15:10:56 +0100 | blanchet | renamed 'vset_rel' to 'rel_vset' | changeset | files |
| Thu, 06 Mar 2014 14:57:15 +0100 | blanchet | fixed NEWS | changeset | files |
| Thu, 06 Mar 2014 14:57:14 +0100 | blanchet | renamed 'set_rel' to 'rel_set' | changeset | files |
| Thu, 06 Mar 2014 14:25:55 +0100 | traytel | tuned | changeset | files |
| Thu, 06 Mar 2014 14:15:09 +0100 | traytel | rationalized imports | changeset | files |
| Thu, 06 Mar 2014 14:14:54 +0100 | traytel | move special BNFs used for composition only to BNF_Comp; | changeset | files |
| Thu, 06 Mar 2014 13:36:50 +0100 | blanchet | renamed 'cset_rel' to 'rel_cset' | changeset | files |
| Thu, 06 Mar 2014 13:36:49 +0100 | blanchet | renamed 'fset_rel' to 'rel_fset' | changeset | files |