]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e22081) | patch
1. depth constraints for Rels and Sorts are now optional
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:17:13 +0000 (13:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 13:17:13 +0000 (13:17 +0000)
commita7e6ed7d50bc19be218b00f833b8839d00fca666
tree81bd5ed037a22dd4e0d69811f96f482920c54ed4tree | snapshot
parent6e220814540ca1c8dd99189ad7bdb8838764650ecommit | diff
1. depth constraints for Rels and Sorts are now optional
2. "can" constraints renamed to "only" constraints
3. several bug fixes:
    * the order of arguments for Sub in the second phase of the query was wrong
    * some identifiers in the generated query were unbound
helm/gTopLevel/mQueryGenerator.ml diff | blob | history
helm/gTopLevel/mQueryGenerator.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.