]> matita.cs.unibo.it Git - helm.git/commit
getciconly ==> getxml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 10:51:12 +0000 (10:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Mar 2001 10:51:12 +0000 (10:51 +0000)
commitc60f8d1e3951c3efbfed0383a536dd3a1c5a9d9b
tree57826070ecc7cf592895d22bcfb01f486c538857
parentc2240adf58d6e77973bb057f09e2232852046bf8
getciconly ==> getxml
helm/style/objtheorycontent.xsl