]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06c60de) | patch
renamed add_le_constraint to add_constraint since it adds both le and lt constraints
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 May 2008 11:41:21 +0000 (11:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 19 May 2008 11:41:21 +0000 (11:41 +0000)
commiteb254f3de9c9eaad08b084231cf78d64bf585012
treebc1c74ffc0daabc68f7ae2a1e6289f021361c74ftree | snapshot
parent06c60deb62c2f7d967e68c98b6c81cbcdbcb534dcommit | diff
renamed add_le_constraint to add_constraint since it adds both le and lt constraints
helm/software/components/ng_kernel/nCicEnvironment.ml diff | blob | history
helm/software/components/ng_kernel/nCicEnvironment.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.