From 39d095f1be6af15e044793da5f1ca855f0861ed3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 16 Dec 2003 16:06:35 +0000 Subject: [PATCH] renamed META*.src to meta*.src so that ocamlfind list doesn't list both src and real METAs --- helm/ocaml/METAS/META.helm-cic_textual_parser2.src | 5 ----- helm/ocaml/METAS/{META.helm-cic.src => meta.helm-cic.src} | 0 ...elm-cic_annotations.src => meta.helm-cic_annotations.src} | 0 ...tations_cache.src => meta.helm-cic_annotations_cache.src} | 0 .../{META.helm-cic_cache.src => meta.helm-cic_cache.src} | 0 .../{META.helm-cic_omdoc.src => meta.helm-cic_omdoc.src} | 0 ...c_proof_checking.src => meta.helm-cic_proof_checking.src} | 0 ...c_textual_parser.src => meta.helm-cic_textual_parser.src} | 0 ...transformations.src => meta.helm-cic_transformations.src} | 0 ...elm-cic_unification.src => meta.helm-cic_unification.src} | 0 .../METAS/{META.helm-getter.src => meta.helm-getter.src} | 0 .../METAS/{META.helm-mathql.src => meta.helm-mathql.src} | 0 ...m-mathql_generator.src => meta.helm-mathql_generator.src} | 0 ...thql_interpreter.src => meta.helm-mathql_interpreter.src} | 0 helm/ocaml/METAS/{META.helm-pxp.src => meta.helm-pxp.src} | 0 .../METAS/{META.helm-tactics.src => meta.helm-tactics.src} | 0 ...xtual_parser.src => meta.helm-tex_cic_textual_parser.src} | 0 .../{META.helm-urimanager.src => meta.helm-urimanager.src} | 0 helm/ocaml/METAS/{META.helm-xml.src => meta.helm-xml.src} | 0 19 files changed, 5 deletions(-) delete mode 100644 helm/ocaml/METAS/META.helm-cic_textual_parser2.src rename helm/ocaml/METAS/{META.helm-cic.src => meta.helm-cic.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_annotations.src => meta.helm-cic_annotations.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_annotations_cache.src => meta.helm-cic_annotations_cache.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_cache.src => meta.helm-cic_cache.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_omdoc.src => meta.helm-cic_omdoc.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_proof_checking.src => meta.helm-cic_proof_checking.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_textual_parser.src => meta.helm-cic_textual_parser.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_transformations.src => meta.helm-cic_transformations.src} (100%) rename helm/ocaml/METAS/{META.helm-cic_unification.src => meta.helm-cic_unification.src} (100%) rename helm/ocaml/METAS/{META.helm-getter.src => meta.helm-getter.src} (100%) rename helm/ocaml/METAS/{META.helm-mathql.src => meta.helm-mathql.src} (100%) rename helm/ocaml/METAS/{META.helm-mathql_generator.src => meta.helm-mathql_generator.src} (100%) rename helm/ocaml/METAS/{META.helm-mathql_interpreter.src => meta.helm-mathql_interpreter.src} (100%) rename helm/ocaml/METAS/{META.helm-pxp.src => meta.helm-pxp.src} (100%) rename helm/ocaml/METAS/{META.helm-tactics.src => meta.helm-tactics.src} (100%) rename helm/ocaml/METAS/{META.helm-tex_cic_textual_parser.src => meta.helm-tex_cic_textual_parser.src} (100%) rename helm/ocaml/METAS/{META.helm-urimanager.src => meta.helm-urimanager.src} (100%) rename helm/ocaml/METAS/{META.helm-xml.src => meta.helm-xml.src} (100%) diff --git a/helm/ocaml/METAS/META.helm-cic_textual_parser2.src b/helm/ocaml/METAS/META.helm-cic_textual_parser2.src deleted file mode 100644 index 043a289c2..000000000 --- a/helm/ocaml/METAS/META.helm-cic_textual_parser2.src +++ /dev/null @@ -1,5 +0,0 @@ -requires="helm-cic" -version="0.0.1" -archive(byte)="cic_textual_parser2.cma" -archive(native)="cic_textual_parser2.cmxa" -linkopts="-I +camlp4 gramlib.cma" diff --git a/helm/ocaml/METAS/META.helm-cic.src b/helm/ocaml/METAS/meta.helm-cic.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic.src rename to helm/ocaml/METAS/meta.helm-cic.src diff --git a/helm/ocaml/METAS/META.helm-cic_annotations.src b/helm/ocaml/METAS/meta.helm-cic_annotations.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_annotations.src rename to helm/ocaml/METAS/meta.helm-cic_annotations.src diff --git a/helm/ocaml/METAS/META.helm-cic_annotations_cache.src b/helm/ocaml/METAS/meta.helm-cic_annotations_cache.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_annotations_cache.src rename to helm/ocaml/METAS/meta.helm-cic_annotations_cache.src diff --git a/helm/ocaml/METAS/META.helm-cic_cache.src b/helm/ocaml/METAS/meta.helm-cic_cache.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_cache.src rename to helm/ocaml/METAS/meta.helm-cic_cache.src diff --git a/helm/ocaml/METAS/META.helm-cic_omdoc.src b/helm/ocaml/METAS/meta.helm-cic_omdoc.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_omdoc.src rename to helm/ocaml/METAS/meta.helm-cic_omdoc.src diff --git a/helm/ocaml/METAS/META.helm-cic_proof_checking.src b/helm/ocaml/METAS/meta.helm-cic_proof_checking.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_proof_checking.src rename to helm/ocaml/METAS/meta.helm-cic_proof_checking.src diff --git a/helm/ocaml/METAS/META.helm-cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-cic_textual_parser.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_textual_parser.src rename to helm/ocaml/METAS/meta.helm-cic_textual_parser.src diff --git a/helm/ocaml/METAS/META.helm-cic_transformations.src b/helm/ocaml/METAS/meta.helm-cic_transformations.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_transformations.src rename to helm/ocaml/METAS/meta.helm-cic_transformations.src diff --git a/helm/ocaml/METAS/META.helm-cic_unification.src b/helm/ocaml/METAS/meta.helm-cic_unification.src similarity index 100% rename from helm/ocaml/METAS/META.helm-cic_unification.src rename to helm/ocaml/METAS/meta.helm-cic_unification.src diff --git a/helm/ocaml/METAS/META.helm-getter.src b/helm/ocaml/METAS/meta.helm-getter.src similarity index 100% rename from helm/ocaml/METAS/META.helm-getter.src rename to helm/ocaml/METAS/meta.helm-getter.src diff --git a/helm/ocaml/METAS/META.helm-mathql.src b/helm/ocaml/METAS/meta.helm-mathql.src similarity index 100% rename from helm/ocaml/METAS/META.helm-mathql.src rename to helm/ocaml/METAS/meta.helm-mathql.src diff --git a/helm/ocaml/METAS/META.helm-mathql_generator.src b/helm/ocaml/METAS/meta.helm-mathql_generator.src similarity index 100% rename from helm/ocaml/METAS/META.helm-mathql_generator.src rename to helm/ocaml/METAS/meta.helm-mathql_generator.src diff --git a/helm/ocaml/METAS/META.helm-mathql_interpreter.src b/helm/ocaml/METAS/meta.helm-mathql_interpreter.src similarity index 100% rename from helm/ocaml/METAS/META.helm-mathql_interpreter.src rename to helm/ocaml/METAS/meta.helm-mathql_interpreter.src diff --git a/helm/ocaml/METAS/META.helm-pxp.src b/helm/ocaml/METAS/meta.helm-pxp.src similarity index 100% rename from helm/ocaml/METAS/META.helm-pxp.src rename to helm/ocaml/METAS/meta.helm-pxp.src diff --git a/helm/ocaml/METAS/META.helm-tactics.src b/helm/ocaml/METAS/meta.helm-tactics.src similarity index 100% rename from helm/ocaml/METAS/META.helm-tactics.src rename to helm/ocaml/METAS/meta.helm-tactics.src diff --git a/helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src b/helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src similarity index 100% rename from helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src rename to helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src diff --git a/helm/ocaml/METAS/META.helm-urimanager.src b/helm/ocaml/METAS/meta.helm-urimanager.src similarity index 100% rename from helm/ocaml/METAS/META.helm-urimanager.src rename to helm/ocaml/METAS/meta.helm-urimanager.src diff --git a/helm/ocaml/METAS/META.helm-xml.src b/helm/ocaml/METAS/meta.helm-xml.src similarity index 100% rename from helm/ocaml/METAS/META.helm-xml.src rename to helm/ocaml/METAS/meta.helm-xml.src -- 2.39.2