]> matita.cs.unibo.it Git - helm.git/commit
Generator updated for new MathQL.ml
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Nov 2002 11:40:14 +0000 (11:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Nov 2002 11:40:14 +0000 (11:40 +0000)
commit7e9ee837f75f38bf01240cdc03dd51c764c2665f
treebc925e23102f3095dda85e83a5f629045e39ec90
parent2b929db84c91d8f112202b16ba7992b55a395608
Generator updated for new MathQL.ml
Level functions decoupled from Generator
helm/gTopLevel/.depend
helm/gTopLevel/Makefile
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/mQueryGenerator.ml
helm/gTopLevel/mQueryGenerator.mli
helm/gTopLevel/topLevel/Makefile
helm/gTopLevel/topLevel/topLevel.ml