]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ffc433) | patch
added $Id$
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 Jan 2006 14:55:36 +0000 (14:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 10 Jan 2006 14:55:36 +0000 (14:55 +0000)
commitb46f4ee699f30aafeac0f0e1bb92420f9f929119
tree9003cb293cb2738db52cc1ec552240e68b0e3686tree | snapshot
parent9ffc433e8913660620b1dd4ce4c22db1e42c7562commit | diff
added $Id$
helm/matita/buildTimeConf.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.