From ec5775c70b8af3137360acec208623b65c5fd572 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 26 Mar 2004 14:55:16 +0000 Subject: [PATCH] tex notation enabled --- helm/ocaml/cic_disambiguation/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 \ -- 2.39.2