]> matita.cs.unibo.it Git - helm.git/commit
mk_meta_theory.xsl added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 14:59:04 +0000 (14:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 14:59:04 +0000 (14:59 +0000)
commit2be6fcdb0505a90692c45e69e696d0ee5f53aa16
tree7ad9e4126319cc2f71866783e0f92b5ba95c1b5b
parent324d7a74894430e413b61ab2e26605ddd16474d6
mk_meta_theory.xsl added
helm/uwobo-panel/control.html