]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bb77a5) | patch
better check for progress
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 19:07:11 +0000 (19:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Apr 2008 19:07:11 +0000 (19:07 +0000)
commit0eabea8354445b2d81a92b9d1b3016a476d381cb
tree7585266f32e644943e0952e67ae6fdc4abcd334btree | snapshot
parent3bb77a573204ea2266a7befd6360521f94c61f9bcommit | diff
better check for progress
helm/software/components/tactics/tacticals.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.