patch applied (generics): renamed GL to EMGM + unified the lib order in test.hs and the table in the paper
17 Jun
2007
17 Jun
'07
10:42 p.m.
Sat Jun 16 06:33:24 PDT 2007 patrikj@chalmers.se * renamed GL to EMGM + unified the lib order in test.hs and the table in the paper ./comparison/GL -> ./comparison/EMGM M ./comparison/test.hs -1 +1
6596
Age (days ago)
6596
Last active (days ago)
0 comments
1 participants
participants (1)
-
Oleg Kiselyov