]> 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)
commit92515ddd2fc43f07f4dbb22c6bc98399ef1a2dd7
tree6ac661bc29d143933d6c11d87e41c8fd8d5b6440
parent2067a9df915d712a9fad6a4cc6f15562e19800fa
new interface for text_of_query/text_of_result + bug fixes
helm/ocaml/cic_textual_parser/cicTextualParser.mly