]> matita.cs.unibo.it Git - helm.git/commit
Aggiunto lambda.xsl
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 May 2001 09:35:51 +0000 (09:35 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 15 May 2001 09:35:51 +0000 (09:35 +0000)
commit785d5b45cb6dc7d70b4f3b05c7debc97d3453c09
treeaf93fb74a41080527cf6376c98a9553d44bab3ea
parent03d580b649e5e3cfdb1df8640ffc66c1915695c2
Aggiunto lambda.xsl
helm/style/lambda.xsl [new file with mode: 0644]