]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59d16f8) | patch
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
tree42f3deba239ac5d73053445010fd93a99b1f2694tree | snapshot
parent59d16f85df2cf399e3dc583f99eb9a873e7e618bcommit | diff
debug + relocate uses Prop instead of (Prop Prop)... we should think a better solution
helm/software/components/ng_tactics/nTacStatus.ml diff | blob | history
helm/software/components/ng_tactics/nTacStatus.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.