]> matita.cs.unibo.it Git - helm.git/commit
Control frame added to CIC window
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Apr 2001 11:05:35 +0000 (11:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 11 Apr 2001 11:05:35 +0000 (11:05 +0000)
commita6e7b3d67704039e6e6bd45beedfa4f7e170a593
tree10618308bda1ba45cef6df7063312a5c5383a1eb
parent1996440b67ed8e2cfa8490cfb07548ecea5962bd
Control frame added to CIC window
helm/style/expandobj.xsl
helm/style/html_reals.xsl
helm/style/link.xsl
helm/style/links_library.xsl