Tue Sep 12 07:22:46 PDT 2006 Malcolm.Wallace at cs.york.ac.uk * bump hmake version number to 3.12 M ./Makefile.inc -1 +1 M ./configure -2 +2 M ./docs/hmake/changes.html -1 +9 M ./docs/hmake/index.html -19 +14 M ./hmake-configure -1 +1