[cvs-nhc98] patch applied (hat): Replaced $/src/hatlib with $/src/lib in install script

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Thu Jul 5 11:37:47 EDT 2007

Previous message: [cvs-nhc98] patch applied (yhc): Change the simplifier, when doing pushing let's down inside a case it was making the binding unique, but not modifying them in the expression. Now it just goes excessive and obviously correct
Next message: [cvs-nhc98] patch applied (yhc): Fix a boolean typo in the Invariant code
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Jun 26 15:58:43 PDT 2007  Kenn Knowles <kknowles at cs.ucsc.edu>
  * Replaced $/src/hatlib with $/src/lib in install script
  
  The incorrect path caused a check in the install script to always fail, hence
  Hat would never install properly.
  

    M ./script/confhat -11 +14

Previous message: [cvs-nhc98] patch applied (yhc): Change the simplifier, when doing pushing let's down inside a case it was making the binding unique, but not modifying them in the expression. Now it just goes excessive and obviously correct
Next message: [cvs-nhc98] patch applied (yhc): Fix a boolean typo in the Invariant code
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list