]> matita.cs.unibo.it Git - helm.git/commit
some depend files
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Dec 2006 15:02:39 +0000 (15:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 24 Dec 2006 15:02:39 +0000 (15:02 +0000)
commitff07bee00bbf349b3b8240f3e1158f622a27363a
treedc73f7c74a9bbf3146ddf57eeeb216b7d1fb5186
parent83d06174ec00ea3d416d28db0d8bb5550aed627f
some depend files
components/acic_content/.depend
components/cic/.depend
components/getter/.depend
components/grafite/.depend
components/lexicon/.depend
components/library/.depend
components/syntax_extensions/.depend
components/tactics/.depend
components/tptp_grafite/.depend