]> matita.cs.unibo.it Git - helm.git/commit
Dead code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 May 2004 17:42:12 +0000 (17:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 27 May 2004 17:42:12 +0000 (17:42 +0000)
commit63b9459d46ea28b3f47116690e7d06cbba7561fe
treea75bcca8a9ef6fb24ee3ef42dd7d5ffc1acdd27e
parentaacc5f566b60763bede71263cb9441b5b2fb04a1
Dead code removed.
helm/on-line/html/theory/control.html