[cvs-nhc98] patch applied (hat): Added -r option to report statistics about reachable nodes.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:02:37 EDT 2006

Previous message: [cvs-nhc98] patch applied (hat): Make arg of hat-check consistent with other hat programs.
Next message: [cvs-nhc98] patch applied (hat): Modified combinators and also slightly the transformation.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Wed Mar 28 08:58:07 PST 2001  colin
  * Added -r option to report statistics about reachable nodes.

    M ./src/hattools/hat-check.c -173 +386

Previous message: [cvs-nhc98] patch applied (hat): Make arg of hat-check consistent with other hat programs.
Next message: [cvs-nhc98] patch applied (hat): Modified combinators and also slightly the transformation.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-nhc98 mailing list