]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e09d7af) | patch
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
tree38f0e65c8311cc7ff3a17afcb6d48485fd999f2ftree | snapshot
parente09d7af716bbbafc6efeb0832e4425e449523467commit | diff
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 diff | blob | history
components/binaries/tptp2grafite/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.