]> matita.cs.unibo.it Git - helm.git/commit
select honors the substitution
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Apr 2009 17:21:41 +0000 (17:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 7 Apr 2009 17:21:41 +0000 (17:21 +0000)
commit460e778b47270838f98f5efd65518c1a31c96e92
tree18a5e03081197daa9192757d95fb6a191eaff43f
parent1c950d8cfe400f6b68eee7a67c555549db3a4d36
select honors the substitution
helm/software/components/ng_tactics/nTacStatus.ml