]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e9ee83) | patch
New module for level management (was in MQueryGenerator)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Nov 2002 15:22:27 +0000 (15:22 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 26 Nov 2002 15:22:27 +0000 (15:22 +0000)
commitb5dd63f1413ba984c2e09239ad4554775467f653
tree9de3545ae29846b3cd826c09f15dd782ffe03389tree | snapshot
parent7e9ee837f75f38bf01240cdc03dd51c764c2665fcommit | diff
New module for level management (was in MQueryGenerator)
helm/gTopLevel/mQueryLevels.ml [new file with mode: 0644] blob
helm/gTopLevel/mQueryLevels.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.