Wed Nov 1 09:12:05 PST 2006 Malcolm.Wallace at cs.york.ac.uk * update hmake version number to 3.13 M ./Makefile.inc -1 +1 M ./configure -1 +1 M ./docs/hmake/changes.html -1 +10 M ./docs/hmake/index.html -11 +7 M ./hmake-configure -1 +1