]> matita.cs.unibo.it Git - helm.git/commit
New standard stylesheet genmmlid.xsl added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 14:54:30 +0000 (14:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 May 2001 14:54:30 +0000 (14:54 +0000)
commitb339ccb67fd5958bf820163e09c4d2d3f74e8601
tree840c9ceac11673c41891a60cf49767d14f9295e3
parente932c8461c8aa42472019ebb36fb03d02b06b6dd
New standard stylesheet genmmlid.xsl added.
helm/uwobo-panel/control.html