]> matita.cs.unibo.it Git - helm.git/commit
mathql interpreter flags can be now red from helm registry
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 17:52:54 +0000 (17:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 18 Feb 2004 17:52:54 +0000 (17:52 +0000)
commitc911fe913e84cda448e2f0df20c1e023f6f8043d
treef8fbf08adcf708806ad4a88dc2f99c591e07f19f
parent2fcee48f3831b7b5dab20837d06b70e56d1ae6b3
mathql interpreter flags can be now red from helm registry
helm/gTopLevel/batchParser.ml
helm/gTopLevel/batchParser.mli
helm/gTopLevel/gTopLevel.conf.xml.sample
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/regtest.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/searchEngine/searchEngine.ml