[cvs-nhc98] patch applied (hat): Add commands :+n and :-n for changing cutoff depth by increments.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:14:03 EDT 2006


Mon Mar  4 08:44:20 PST 2002  malcolm
  * Add commands :+n and :-n for changing cutoff depth by increments.

    M ./src/hattools/HatDetect.hs -3 +21


More information about the Cvs-nhc98 mailing list