]> matita.cs.unibo.it Git - helm.git/commit
added klocs sums and heading "0." where missing
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 10:13:48 +0000 (10:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Jan 2006 10:13:48 +0000 (10:13 +0000)
commit379370d2daa790aca069b8a8cc22c7a5146ca5fa
treeb1ab173c341e32689023cd674dba5216649cf209
parent37191f82d959769e24166fd8225e0ff86f717586
added klocs sums and heading "0." where missing
helm/papers/matita/libraries-clusters.png
helm/papers/matita/libraries-clusters.ps