]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1fe3589) | patch
* mQueryLevel2.get_constraints now gives back only the "must" constraints.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 18:43:09 +0000 (18:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 6 Dec 2002 18:43:09 +0000 (18:43 +0000)
commit2bdf5f214317e2d9960bd796efc234a8762eda61
treef1037e4e70e5c7cd4df37ff94c06b9766dbb227ftree | snapshot
parent1fe35897717252a6d1f65a883900bbe56d946dbacommit | diff
* mQueryLevel2.get_constraints now gives back only the "must" constraints.
* the "refine constraints" interface has been improved. It can now handle
  also constraints on Sorts and constants.
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/mQueryLevels2.ml diff | blob | history
helm/gTopLevel/mQueryLevels2.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.