]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0386e72) | patch
moved META files in METAS/ dir
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 13:49:09 +0000 (13:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 13:49:09 +0000 (13:49 +0000)
commit8f52ce7758aeb11e236c88b4fedb87a53e4f8753
tree92f2f6a1323e206ac74993941995d3e135deab44tree | snapshot
parent0386e72a92dea47cb86356e71698bab3ecb65c51commit | diff
moved META files in METAS/ dir
41 files changed:
helm/ocaml/.cvsignore diff | blob | history
helm/ocaml/META.helm-cic.src [deleted file] blob | history
helm/ocaml/META.helm-cic_annotations.src [deleted file] blob | history
helm/ocaml/META.helm-cic_annotations_cache.src [deleted file] blob | history
helm/ocaml/META.helm-cic_cache.src [deleted file] blob | history
helm/ocaml/META.helm-cic_omdoc.src [deleted file] blob | history
helm/ocaml/META.helm-cic_proof_checking.src [deleted file] blob | history
helm/ocaml/META.helm-cic_textual_parser.src [deleted file] blob | history
helm/ocaml/META.helm-cic_textual_parser2.src [deleted file] blob | history
helm/ocaml/META.helm-cic_transformations.src [deleted file] blob | history
helm/ocaml/META.helm-cic_unification.src [deleted file] blob | history
helm/ocaml/META.helm-getter.src [deleted file] blob | history
helm/ocaml/META.helm-mathql.src [deleted file] blob | history
helm/ocaml/META.helm-mathql_generator.src [deleted file] blob | history
helm/ocaml/META.helm-mathql_interpreter.src [deleted file] blob | history
helm/ocaml/META.helm-pxp.src [deleted file] blob | history
helm/ocaml/META.helm-tactics.src [deleted file] blob | history
helm/ocaml/META.helm-tex_cic_textual_parser.src [deleted file] blob | history
helm/ocaml/META.helm-urimanager.src [deleted file] blob | history
helm/ocaml/META.helm-xml.src [deleted file] blob | history
helm/ocaml/METAS/.cvsignore [new file with mode: 0644] blob
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_textual_parser2.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
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.