]> matita.cs.unibo.it Git - helm.git/commit
Lambda notazione.
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 May 2001 09:31:15 +0000 (09:31 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 May 2001 09:31:15 +0000 (09:31 +0000)
commit03d580b649e5e3cfdb1df8640ffc66c1915695c2
tree84919cfb2933496589604094e3656158e0dad688
parent693937ecc156f6670572d555330b825652d35671
Lambda notazione.
helm/style/content_to_html.xsl
helm/style/headercontent.xsl