]> 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)
commite3c3f9c570edef8439e5e4ab5c0fbefd0cd32ece
treedaa59b82309b2df6e4954722c1ea57f5a0ace8ea
parentea090f0da6f03b0e6cb8c58887a92a5f8915728f
.depends committed to fix non-compilation errors
helm/software/components/acic_content/.depend
helm/software/components/cic/.depend
helm/software/components/getter/.depend
helm/software/components/grafite/.depend
helm/software/components/lexicon/.depend
helm/software/components/library/.depend
helm/software/components/syntax_extensions/.depend
helm/software/components/tptp_grafite/.depend