]> matita.cs.unibo.it Git - helm.git/commit
debug + relocate uses Prop instead of (Prop Prop)... we should think a better solution
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Oct 2009 10:14:07 +0000 (10:14 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 13 Oct 2009 10:14:07 +0000 (10:14 +0000)
commitf43df7eebd322709f8c92fd94d9c5225ae3c61db
tree42f3deba239ac5d73053445010fd93a99b1f2694
parent59d16f85df2cf399e3dc583f99eb9a873e7e618b
debug + relocate uses Prop instead of (Prop Prop)... we should think a better solution
helm/software/components/ng_tactics/nTacStatus.ml
helm/software/components/ng_tactics/nTacStatus.mli