Thu, 06 Mar 2014 15:10:56 +0100 renamed 'vset_rel' to 'rel_vset'
blanchet [Thu, 06 Mar 2014 15:10:56 +0100] rev 55940
renamed 'vset_rel' to 'rel_vset'
Thu, 06 Mar 2014 14:57:15 +0100 fixed NEWS
blanchet [Thu, 06 Mar 2014 14:57:15 +0100] rev 55939
fixed NEWS
Thu, 06 Mar 2014 14:57:14 +0100 renamed 'set_rel' to 'rel_set'
blanchet [Thu, 06 Mar 2014 14:57:14 +0100] rev 55938
renamed 'set_rel' to 'rel_set'
Thu, 06 Mar 2014 14:25:55 +0100 tuned
traytel [Thu, 06 Mar 2014 14:25:55 +0100] rev 55937
tuned
Thu, 06 Mar 2014 14:15:09 +0100 rationalized imports
traytel [Thu, 06 Mar 2014 14:15:09 +0100] rev 55936
rationalized imports
Thu, 06 Mar 2014 14:14:54 +0100 move special BNFs used for composition only to BNF_Comp;
traytel [Thu, 06 Mar 2014 14:14:54 +0100] rev 55935
move special BNFs used for composition only to BNF_Comp; use local copy of identity function that gets unfolded later for ID
Thu, 06 Mar 2014 13:36:50 +0100 renamed 'cset_rel' to 'rel_cset'
blanchet [Thu, 06 Mar 2014 13:36:50 +0100] rev 55934
renamed 'cset_rel' to 'rel_cset'
Thu, 06 Mar 2014 13:36:49 +0100 renamed 'fset_rel' to 'rel_fset'
blanchet [Thu, 06 Mar 2014 13:36:49 +0100] rev 55933
renamed 'fset_rel' to 'rel_fset'
Thu, 06 Mar 2014 13:36:48 +0100 renamed 'map_pair' to 'map_prod'
blanchet [Thu, 06 Mar 2014 13:36:48 +0100] rev 55932
renamed 'map_pair' to 'map_prod'
Thu, 06 Mar 2014 13:36:15 +0100 renamed 'map_sum' to 'sum_map'
blanchet [Thu, 06 Mar 2014 13:36:15 +0100] rev 55931
renamed 'map_sum' to 'sum_map'
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip