patch applied (generics): More grose error messages
31 May
2007
31 May
'07
4:20 p.m.
Thu May 31 08:44:30 PDT 2007 Alexey Rodriguez <alexey@cs.uu.nl> * More grose error messages M ./comparison/GM/GEq.lhs -1 +4 M ./comparison/RepLib/GEq.lhs +4
7027
Age (days ago)
7027
Last active (days ago)
0 comments
1 participants
participants (1)
-
Alexey Rodriguez Yakushev