From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 26 Mar 2004 14:55:16 +0000 (+0000)
Subject: tex notation enabled
X-Git-Tag: dead_dir_walking~108
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ec5775c70b8af3137360acec208623b65c5fd572;p=helm.git

tex notation enabled
---

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 34ade2071..537f19504 100644
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -3,8 +3,8 @@ PACKAGE = cic_textual_parser2
 REQUIRES = \
 	helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
 	ulex pxp camlp4.gramlib
-# NOTATIONS = logic arit tex
-NOTATIONS = logic arit
+NOTATIONS = logic arit tex
+# NOTATIONS = logic arit
 INTERFACE_FILES = \
 	disambiguateTypes.mli \
 	disambiguateChoices.mli \