]> matita.cs.unibo.it Git - helm.git/commit
default constants are now the matita standard library ones and not the one from Coq.
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 15 Jun 2006 09:22:29 +0000 (09:22 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 15 Jun 2006 09:22:29 +0000 (09:22 +0000)
commitc67a6aaf5f24719785eb170e1fdef97c180e927e
tree38f0e65c8311cc7ff3a17afcb6d48485fd999f2f
parente09d7af716bbbafc6efeb0832e4425e449523467
default constants are now the matita standard library ones and not the one from Coq.
the makefile should work on every checkout, since the path for the TPTP stuff is not hardcoded, but ppoint to the TPTP-VERSION/ directory in the user's home.
components/binaries/tptp2grafite/Makefile
components/binaries/tptp2grafite/main.ml