]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e2b0be) | patch
Now MQueryGenerator generates the query and MQueryLevels produces the restrictions...
authornatile <??>
Fri, 29 Nov 2002 18:47:41 +0000 (18:47 +0000)
committernatile <??>
Fri, 29 Nov 2002 18:47:41 +0000 (18:47 +0000)
commit2208a75027ccad441dc0778101f57eff9555f8ea
tree6bfe258d812a016d83a65c266bd9453ff23157f4tree | snapshot
parent1e2b0bee559e543455ff839d969c5778d5c353bdcommit | diff
Now MQueryGenerator generates the query and MQueryLevels produces the restrictions (must and can).
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.mli diff | blob | history
helm/gTopLevel/mQueryLevels.ml diff | blob | history
helm/gTopLevel/mQueryLevels.mli diff | blob | history
helm/gTopLevel/topLevel/topLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.