]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4c8438) | patch
moved mquery generation in ../ocaml/mquery_generator/
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:21:52 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Feb 2003 17:21:52 +0000 (17:21 +0000)
commita6af1d4a632906805501b62bcca9e95481618070
treee990e748c2b5d2b2622c9be0d8bc32fcf7e1cefetree | snapshot
parentf4c8438e56847bb6e2af5d5cb5858f3ec7dfacb1commit | diff
moved mquery generation in ../ocaml/mquery_generator/
helm/gTopLevel/mQueryGenerator.ml [deleted file] blob | history
helm/gTopLevel/mQueryGenerator.mli [deleted file] blob | history
helm/gTopLevel/mQueryLevels.ml [deleted file] blob | history
helm/gTopLevel/mQueryLevels.mli [deleted file] blob | history
helm/gTopLevel/mQueryLevels2.ml [deleted file] blob | history
helm/gTopLevel/mQueryLevels2.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.