CVSROOT: /usr/cvs Changes by: jkrell at birch. 12/05/20 12:08:10 Added files: cm3/ESC/Simplify/prover/test/src/: m3makefile.broken Removed files: cm3/ESC/Simplify/prover/test/src/: m3makefile Log message: rename away broken m3makefile the README even says the tests don't build due to FingerP no longer being exported