
15 Jun
2007
15 Jun
'07
7:38 p.m.
Fri Jun 15 09:42:32 PDT 2007 patrikj@chalmers.se * LIGD: trimmed spaces + aligned + fixed comments + small rename M ./comparison/CompanyDatatypes.hs -3 +3 M ./comparison/GM/GM.lhs -3 +3 M ./comparison/LIGD/BinTreeReps.hs -5 +4 M ./comparison/LIGD/CompanyReps.hs -13 +13 M ./comparison/LIGD/FoldTree.lhs -6 +6 M ./comparison/LIGD/GEq.lhs -28 +17 M ./comparison/LIGD/GMap.lhs -3 +2 M ./comparison/LIGD/GRoseReps.hs -1 +2 M ./comparison/LIGD/GShow.lhs -19 +15 M ./comparison/LIGD/Reduce.lhs -2 M ./comparison/LIGD/TreeReps.hs -7 +7 M ./comparison/TestGEqGRose.lhs -3