]> matita.cs.unibo.it Git - helm.git/commit
stylesheet L added to the metadata chain
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 13:20:18 +0000 (13:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 13:20:18 +0000 (13:20 +0000)
commit441f9a5912f0cd27da9540b3c82e70e0e4221982
tree55151d3ec6d6ff77b5506c6d05d36826169fff10
parent47b1a34e3db754d7715acac1bc4c68b58ee5982f
stylesheet L added to the metadata chain
helm/on-line/html/cic/control.html