]> matita.cs.unibo.it Git - helm.git/commit
Two parameters used but not declared. Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2001 12:38:10 +0000 (12:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 16 Jul 2001 12:38:10 +0000 (12:38 +0000)
commitd42f916052e67304e8b46e537b9a4bbaf2c2607e
treecf97ee0e3285fa31be516c6ff2893a51b06eca78
parentf4d99607a3d6b6b2013b3a951384dc6630fa1ea3
Two parameters used but not declared. Fixed.
helm/style/links_library.xsl
helm/style/objtheorycontent.xsl