]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ee35cca) | patch
renamed META*.src to meta*.src so that ocamlfind list doesn't list both
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:06:35 +0000 (16:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:06:35 +0000 (16:06 +0000)
commit39d095f1be6af15e044793da5f1ca855f0861ed3
tree7ff3168c2538eceb41020774c5b8760d445bc93ctree | snapshot
parentee35ccaff9728ecba44c83eed9cb703d9a1f131ecommit | diff
renamed META*.src to meta*.src so that ocamlfind list doesn't list both
src and real METAs
37 files changed:
helm/ocaml/METAS/META.helm-cic.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_annotations.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_annotations_cache.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_cache.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_omdoc.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_proof_checking.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_textual_parser.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_textual_parser2.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_transformations.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-cic_unification.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-getter.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-mathql.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-mathql_generator.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-mathql_interpreter.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-pxp.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-tactics.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-tex_cic_textual_parser.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-urimanager.src [deleted file] blob | history
helm/ocaml/METAS/META.helm-xml.src [deleted file] blob | history
helm/ocaml/METAS/meta.helm-cic.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_annotations.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_annotations_cache.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_cache.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_omdoc.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_proof_checking.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_textual_parser.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_transformations.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-cic_unification.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-getter.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-mathql.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-mathql_generator.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-mathql_interpreter.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-pxp.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-tactics.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-tex_cic_textual_parser.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-urimanager.src [new file with mode: 0644] blob
helm/ocaml/METAS/meta.helm-xml.src [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.