From 0b3ca9256524695f6963706eaa85ffed441975aa Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 11 Oct 2004 19:19:23 +0000 Subject: [PATCH] added new Utf8Macro module --- helm/ocaml/METAS/meta.helm-cic_transformations.src | 2 +- helm/ocaml/METAS/meta.helm-utf8_macros.src | 7 +++++++ 2 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 helm/ocaml/METAS/meta.helm-utf8_macros.src 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="" -- 2.39.2