]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c205359) | patch
moved mquery generation stuff in a new module
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:28:12 +0000 (17:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:28:12 +0000 (17:28 +0000)
commit0d14afd5f375067cc1ae6bed4f1c1587ec68cd57
treebce74d075c6103b79cabade2274a0601ba4a1769tree | snapshot
parentc205359e224034e2024947fc4cd1801d37b7c824commit | diff
moved mquery generation stuff in a new module
helm/ocaml/META.helm-mquery_generator.src [new file with mode: 0644] blob
helm/ocaml/mquery_generator/.depend [new file with mode: 0644] blob
helm/ocaml/mquery_generator/Makefile [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryGenerator.ml [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryGenerator.mli [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryLevels.ml [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryLevels.mli [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryLevels2.ml [new file with mode: 0644] blob
helm/ocaml/mquery_generator/mQueryLevels2.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.