]> matita.cs.unibo.it Git - helm.git/commit
Dead code (that produces an ugly rendering) removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 10:16:52 +0000 (10:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 8 Sep 2006 10:16:52 +0000 (10:16 +0000)
commit4da6abc787b4fe323b30ad248327fb8773af4544
tree4df1d2e28298b99958d54b1a8e2c900697b7d927
parentd6d612f97dba1555eed622e33e4106dcf5a9ffbd
Dead code (that produces an ugly rendering) removed.
components/acic_content/contentPp.ml [deleted file]
components/acic_content/contentPp.mli [deleted file]