Athena v1.4.2
V1.4.2 (#8) * fix: vamp_proof_line assigned vampire's output in the case of refutation * Makefile clean recipe doesn't delete all contents in build directory; only athena-specific files * bump minor version * fix vamp_proof_line
V1.4.2 (#8) * fix: vamp_proof_line assigned vampire's output in the case of refutation * Makefile clean recipe doesn't delete all contents in build directory; only athena-specific files * bump minor version * fix vamp_proof_line