]> matita.cs.unibo.it Git - helm.git/commit
The part after # must be removed for the control frame.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Jul 2004 12:25:54 +0000 (12:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Jul 2004 12:25:54 +0000 (12:25 +0000)
commit79f628f8aaedf8a343db3c1fcec3874b20368998
tree5e14194864d7f1cd329eb56e684736fea4b593c1
parent3db0a84a64f014fa10c4b439c62cb3eef017ea7a
The part after # must be removed for the control frame.
helm/on-line/html/theory/index.html