matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 30 Apr 2003 13:56:57 +0000 (13:56 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 30 Apr 2003 13:56:57 +0000 (13:56 +0000)
commit	39b9497090ee5cc501de1e3d9044d71fdc5cf1fb
tree	83d2968813a7cbbf564021a005f84a308fd9e4d8	tree \| snapshot
parent	44d9d4ba98b90e6f90d87cae787573e648592ba6	commit \| diff

MQueryInterpreter: interface updated

21 files changed:

helm/hbugs/tutors/search_pattern_apply_tutor.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/.depend		diff \| blob \| history
helm/ocaml/mathql_interpreter/Makefile		diff \| blob \| history
helm/ocaml/mathql_interpreter/dbconn.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/dbconn.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/func.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/func.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQIConn.ml	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/mQIConn.mli	[new file with mode: 0644]	blob
helm/ocaml/mathql_interpreter/mQueryInterpreter.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/mQueryInterpreter.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/pattern.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/pattern.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/property.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/property.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/relation.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/relation.mli		diff \| blob \| history
helm/ocaml/mathql_interpreter/utility.ml		diff \| blob \| history
helm/ocaml/mathql_interpreter/utility.mli		diff \| blob \| history
helm/ocaml/mathql_test/.cvsignore		diff \| blob \| history
helm/ocaml/mathql_test/mqitop.ml		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.