]> matita.cs.unibo.it Git - helm.git/commit
mquery.ml now really call the execution of the query.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 10:48:31 +0000 (10:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 10:48:31 +0000 (10:48 +0000)
commit4afb38bb0927c06ab4e64656f31cfc0fcb089b1e
tree0820a19f4de9d8d8a555dee86ccac40726b00647
parent1808f15362ca07bb4ad5b6802afbf6789683f0bd
mquery.ml now really call the execution of the query.
Locate and backward now really work!!!
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/mquery.ml
helm/gTopLevel/mquery.mli