]> matita.cs.unibo.it Git - helm.git/commit
MQueryInterpreter: interface updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Apr 2003 13:56:57 +0000 (13:56 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 30 Apr 2003 13:56:57 +0000 (13:56 +0000)
commit09151f33b14507e4d20380f3100a6db5f49f3f46
tree609d14c8e98efd0a517b809636d566220abd83a0
parent28f262128cd08dfaad435f73d3f4eee5976993d6
MQueryInterpreter: interface updated
12 files changed:
helm/gTopLevel/disambiguate.ml
helm/gTopLevel/disambiguate.mli
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/termEditor.ml
helm/gTopLevel/termEditor.mli
helm/gTopLevel/texTermEditor.ml
helm/gTopLevel/texTermEditor.mli
helm/ocaml/mquery_generator/mQueryGenerator.ml
helm/ocaml/mquery_generator/mQueryGenerator.mli
helm/ocaml/tactics/tacticChaser.ml
helm/ocaml/tactics/tacticChaser.mli
helm/searchEngine/searchEngine.ml