]> matita.cs.unibo.it Git - helm.git/commit
mQueryLevels2.mli added in Makefile.
authornatile <??>
Fri, 6 Dec 2002 13:31:17 +0000 (13:31 +0000)
committernatile <??>
Fri, 6 Dec 2002 13:31:17 +0000 (13:31 +0000)
commit5a4f2e8d76d9744fc6fcb57445d22d922b42fde5
tree8b14ecb947016026f3571eba4062408c3fb98d97
parenta772e377c1ca7c43c3e1e25eb47479fc3c5ceb9e
mQueryLevels2.mli added in Makefile.
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/mQueryGenerator.mli
helm/gTopLevel/topLevel/topLevel.ml