]> matita.cs.unibo.it Git - helm.git/commit
.depends committed to fix non-compilation errors
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2006 14:59:27 +0000 (14:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2006 14:59:27 +0000 (14:59 +0000)
commit2546750a2a1ec5718e3960068be988ab4e03a23b
tree384fc9b6b2ddb939af55935f7f3b4fb555a62cec
parentff07bee00bbf349b3b8240f3e1158f622a27363a
.depends committed to fix non-compilation errors
components/acic_content/.depend
components/cic/.depend
components/getter/.depend
components/grafite/.depend
components/lexicon/.depend
components/library/.depend
components/syntax_extensions/.depend
components/tptp_grafite/.depend