[Hs-Generics] patch applied (generics): RmWeights SYB1_2 updated

Alexey Rodriguez Yakushev alexey at cs.uu.nl
Thu Feb 21 10:02:08 EST 2008

Previous message: [Hs-Generics] patch applied (generics): RmWeights EMGM updated (builds on Gid, not updateSalary)
Next message: [Hs-Generics] patch applied (generics): RmWeights RepLib fixes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Feb 16 09:26:50 PST 2008  patrikj at chalmers.se
  * RmWeights SYB1_2 updated

    M ./comparison/SYB1_2/RmWeights.lhs -2 +2
    M ./comparison/log.txt -2 +2

Previous message: [Hs-Generics] patch applied (generics): RmWeights EMGM updated (builds on Gid, not updateSalary)
Next message: [Hs-Generics] patch applied (generics): RmWeights RepLib fixes
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list