]> matita.cs.unibo.it Git - helm.git/commit
- mathql interpreter flags reorganized
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Feb 2004 16:31:07 +0000 (16:31 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 20 Feb 2004 16:31:07 +0000 (16:31 +0000)
commitbcec0bb27e0dce3e72c97011f9c9dd210f604705
tree3d3efa3295967b64d6e26a4b4a6742f7a0fcb31c
parentd07f708fe0e9a70f2740ab7e1c4fbe5a0f0f00ba
- mathql interpreter flags reorganized
- logging function in NQIConn.init is now optional: default is ignore
helm/Makefile
helm/gTopLevel/gTopLevel.conf.xml.sample
helm/gTopLevel/gTopLevel.ml
helm/hbugs/tutors/search_pattern_apply_tutor.ml
helm/mathql_test/mqgtop.ml
helm/mathql_test/mqitop.ml
helm/ocaml/mathql_interpreter/mQIConn.ml
helm/ocaml/mathql_interpreter/mQIConn.mli
helm/ocaml/mathql_interpreter/mQIProperty.ml
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml
helm/searchEngine/searchEngine.ml