]> matita.cs.unibo.it Git - helm.git/commit
new interface for text_of_query/text_of_result + bug fixes
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Feb 2003 17:27:45 +0000 (17:27 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 3 Feb 2003 17:27:45 +0000 (17:27 +0000)
commit3d70d837a733b4daed65d7c568f4be08f3c37b54
treeaf26753b5a3c88761d846ec15c3805d4cc8aa08a
parent733c104743bff96776f8ab6cec06533f6b55a23c
new interface for text_of_query/text_of_result + bug fixes
helm/ocaml/mathql/mQueryUtil.ml
helm/ocaml/mathql/mQueryUtil.mli
helm/ocaml/mathql_interpreter/pattern.ml
helm/ocaml/mathql_interpreter/relation.ml