]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: wrong id.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2007 15:02:52 +0000 (15:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 May 2007 15:02:52 +0000 (15:02 +0000)
commit7dbc6d6fe71f6967f5ad31528a629dc89e6d8160
treeb781e7f5af75b59bb2f2eea09a1d1dfd28b15fad
parentf94fdc754f1fb4d9e9feeaf2fdab15481cfadd91
Bug fixed: wrong id.
helm/software/components/acic_content/acic2content.ml