patch applied (generics): GShow[Ext] for EMGM: polishing

11 Feb 2008


      Mon Feb 11 05:06:53 PST 2008  patrikj@chalmers.se
  * GShow[Ext] for EMGM: polishing

    M ./comparison/EMGM/GShow.lhs -29
    M ./comparison/EMGM/GShowExt.lhs -22 +14
    M ./comparison/TestGShow.lhs -2 +1
    M ./comparison/TestGShowExt.lhs -1 +1
    M ./comparison/log.txt +1

Alexey Rodriguez Yakushev

tags

participants (1)