]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76566c2) | patch
use matita.verbosity instead of matita.quiet
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:19:52 +0000 (17:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 6 Feb 2006 17:19:52 +0000 (17:19 +0000)
commit0fba218a0cad769861bda75d175f926f6e765640
treefc49331f7a6789e6aea80ff126a25b16c90cd55atree | snapshot
parent76566c28a29c9f80bea13fb72c57d6a881fb3544commit | diff
use matita.verbosity instead of matita.quiet
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.