]> matita.cs.unibo.it Git - helm.git/commit
MathQL query generator: new interface
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 May 2003 14:52:11 +0000 (14:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 May 2003 14:52:11 +0000 (14:52 +0000)
commitfc3a73230e9c3a8359944ecbc5546f8f63acac25
tree811d90a603a02d638567a75fcd3749853ed53c7b
parentccff14650d0212aeadf0fcf6ef9ed2e792516686
MathQL query generator: new interface
helm/gTopLevel/disambiguate.ml
helm/gTopLevel/gTopLevel.ml
helm/ocaml/mquery_generator/Makefile
helm/ocaml/mquery_generator/mQueryGenerator.ml
helm/ocaml/mquery_generator/mQueryGenerator.mli
helm/ocaml/tactics/tacticChaser.ml
helm/searchEngine/searchEngine.ml