all:
	Holmake --qof
zip:
	/bin/rm	-f jit-proofs.zip
	zip -r jit-proofs.zip *Script.sml *Lib.sml *Lib.sig README Makefile
clean:
	Holmake cleanAll
