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