]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 114922e) | patch
better logging
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Oct 2009 13:27:48 +0000 (13:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 28 Oct 2009 13:27:48 +0000 (13:27 +0000)
commitc8b567cf0317fb30a907444b11866121416168e1
treeadf6ed6175b7aefacb23e404a022b20e4abc8148tree | snapshot
parent114922e4226970a259c71d415307d5268add7d65commit | diff
better logging
helm/software/components/ng_tactics/nAuto.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.