[cvs-nhc98] patch applied (hat): modified getProjValue() to work on
SATs.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:07:45 EDT 2006
Thu Sep 20 08:09:19 PDT 2001 thorsten
* modified getProjValue() to work on SATs.
M ./src/hattools/FunTable.c -1 +1
M ./src/hattools/hatinterface.c -1 +2
More information about the Cvs-nhc98
mailing list