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

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

Previous message: [Hs-Generics] patch applied (generics): UpdateSalary LIGD updated
Next message: [Hs-Generics] patch applied (generics): UpdateSalary RepLib updated
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Feb 16 04:51:08 PST 2008  patrikj at chalmers.se
  * UpdateSalary SYB1_2 updated

    M ./comparison/SYB1_2/Paradise.lhs -12 +2
    A ./comparison/SYB1_2/UpdateSalaryDef.lhs

Previous message: [Hs-Generics] patch applied (generics): UpdateSalary LIGD updated
Next message: [Hs-Generics] patch applied (generics): UpdateSalary RepLib updated
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Generics mailing list