patch applied (generics): renamed GM to GMsec3 + cleaning

17 Jun
2007
17 Jun
'07
10:42 p.m.
Sat Jun 16 06:19:09 PDT 2007 patrikj@chalmers.se * renamed GM to GMsec3 + cleaning ./comparison/GM/GM.lhs -> ./comparison/GM/GMsec3.lhs M ./comparison/GM/BinTreeReps.hs -2 +2 M ./comparison/GM/CompanyReps.hs -3 +3 M ./comparison/GM/FoldTree.lhs -2 +1 M ./comparison/GM/GEq.lhs -2 +2 M ./comparison/GM/GMap.lhs -2 +2 M ./comparison/GM/GMsec2.lhs -2 +3 M ./comparison/GM/GMsec3.lhs -2 +4 M ./comparison/GM/GShow.lhs -1 M ./comparison/GM/Prettier.lhs -3 +3 M ./comparison/GM/Reduce.lhs -1 +1 M ./comparison/GM/TreeReps.hs -1 +2 M ./comparison/Makefile +3
6596
Age (days ago)
6596
Last active (days ago)
0 comments
1 participants
participants (1)
-
Oleg Kiselyov