From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 11 Oct 2004 19:19:23 +0000 (+0000)
Subject: added new Utf8Macro module
X-Git-Tag: V_0_0_10~87
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0b3ca9256524695f6963706eaa85ffed441975aa;p=helm.git

added new Utf8Macro module
---

diff --git a/helm/ocaml/METAS/meta.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src
index 213f09234..6b561d824 100644
--- a/helm/ocaml/METAS/meta.helm-cic_transformations.src
+++ b/helm/ocaml/METAS/meta.helm-cic_transformations.src
@@ -1,4 +1,4 @@
-requires="helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt"
+requires="helm-utf8_macros helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry gdome2-xslt"
 version="0.0.1"
 archive(byte)="cic_transformations.cma"
 archive(native)="cic_transformations.cmxa"
diff --git a/helm/ocaml/METAS/meta.helm-utf8_macros.src b/helm/ocaml/METAS/meta.helm-utf8_macros.src
new file mode 100644
index 000000000..c2da77649
--- /dev/null
+++ b/helm/ocaml/METAS/meta.helm-utf8_macros.src
@@ -0,0 +1,7 @@
+requires=""
+version="0.0.1"
+archive(byte)="utf8_macros.cma"
+archive(native)="utf8_macros.cmxa"
+requires(syntax,preprocessor)="camlp4"
+archive(syntax,preprocessor)="pa_extend.cmo pa_unicode_macro.cma"
+linkopts=""