[cvs-nhc98] patch applied (hat): Ensure that hat-graph calls the corresponding version of hat-check.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:28:54 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Added hat-source in configure, so that it is also installed by make install.
Next message: [cvs-nhc98] patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Sep 22 05:41:12 PDT 2004  malcolm
  * Ensure that hat-graph calls the corresponding version of hat-check.

    M ./Makefile -1 +1
    M ./configure -2 +7
    R ./script/hat-graph
    A ./script/hat-graph.inst

Previous message: [cvs-nhc98] patch applied (hat): Added hat-source in configure, so that it is also installed by make install.
Next message: [cvs-nhc98] patch applied (hat): Corrected isRedex. Before also partial applications were often considered redexes, so that lots of bogus children could appear.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list