]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c4cab47)
removed no longer needed dependency on pxp
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 10:29:17 +0000 (10:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Nov 2005 10:29:17 +0000 (10:29 +0000)
helm/ocaml/cic_proof_checking/Makefile patch | blob | history

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index 530f426405e1b9d35c8a6989a9c0101c5d588cf3..352a53016d6b5b2aa28a407a1a2a755c086b47ab 100644 (file)
--- a/helm/ocaml/cic_proof_checking/Makefile
+++ b/helm/ocaml/cic_proof_checking/Makefile
@@ -1,6 +1,6 @@
 
 PACKAGE = cic_proof_checking
-REQUIRES = helm-cic helm-logger helm-getter helm-xml pxp
+REQUIRES = helm-cic helm-logger helm-getter helm-xml
 PREDICATES =
 
 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
Unnamed repository; edit this file 'description' to name the repository.