patch applied (generics): Some polishing

11 Feb 2008


      Mon Feb 11 03:57:18 PST 2008  patrikj@chalmers.se
  * Some polishing

    M ./comparison/EMGM/GShow.lhs -19 +30
    M ./comparison/EMGM/GShowDef.lhs -1
    M ./comparison/LIGD/Nested.lhs -3 +3
    M ./comparison/README -3 +3
    M ./comparison/TestGShowExt.lhs -1
    M ./comparison/log.txt +9

Alexey Rodriguez Yakushev

tags

participants (1)