]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 643b05f) | patch
Fixed multiple printing
authordenes <??>
Mon, 20 Jul 2009 17:58:07 +0000 (17:58 +0000)
committerdenes <??>
Mon, 20 Jul 2009 17:58:07 +0000 (17:58 +0000)
commit3f113993199aef5eb7f32773b637bf1716403403
treec5d56bb1d231d2344f5d21f1c82207ae2de18111tree | snapshot
parent643b05ff81a8bfab0924c23bf3299c1fd47183f5commit | diff
Fixed multiple printing
helm/software/components/binaries/matitaprover/matitaprover.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.