From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 14 Jun 2005 11:46:43 +0000 (+0000)
Subject: removed ocaml-pxp
X-Git-Tag: PRE_STORAGE~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2eb1644f907fc2319957fad1511ad98dccc89209;p=helm.git

removed ocaml-pxp
---

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index aa87de4ff..bacedc25e 100644
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -2,7 +2,7 @@
 PACKAGE = cic_textual_parser2
 REQUIRES = \
 	helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
-	helm-pxp helm-utf8_macros \
+	helm-utf8_macros \
 	ulex
 NOTATIONS = logic arit tex
 # NOTATIONS = logic arit