CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2011/03/07 15:26:24
Log message:
import Prover9, Mace4, and several related programs come packaged in a
system
called LADR (Library for Automated Deduction Research).
split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr)
ok aja@
and thanks to landry@/robert@ too for putting up with my ranting about
this..
Status:
Vendor Tag: jasper
Release Tags: jasper_20110703
N ports/math/prover9/Makefile
N ports/math/prover9/Makefile.inc
N ports/math/prover9/p9m4/Makefile
N ports/math/prover9/p9m4/distinfo
N ports/math/prover9/p9m4/pkg/PLIST
N ports/math/prover9/p9m4/pkg/DESCR
N ports/math/prover9/p9m4/patches/patch-p9m4_files_py
N ports/math/prover9/p9m4/files/prover9-mace4.sh
N ports/math/prover9/ladr/distinfo
N ports/math/prover9/ladr/Makefile
N ports/math/prover9/ladr/pkg/PLIST
N ports/math/prover9/ladr/pkg/DESCR
N ports/math/prover9/ladr/patches/patch-ladr_Makefile
N ports/math/prover9/ladr/patches/patch-Makefile
N ports/math/prover9/ladr/patches/patch-apps_src_Makefile
N ports/math/prover9/ladr/patches/patch-mace4_src_Makefile
N ports/math/prover9/ladr/patches/patch-provers_src_Makefile
No conflicts created by this import
