]> 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)
commitd5c1f34cd226898525168e470d3e2ec273699826
tree77e9e603ab6c2492a0320a3edaa31a7fc822ec7d
parent04f161501ef38a303b771e5b0077738f9325dd35
Dead code (that produces an ugly rendering) removed.
helm/software/components/acic_content/contentPp.ml [deleted file]
helm/software/components/acic_content/contentPp.mli [deleted file]