]> matita.cs.unibo.it Git - helm.git/commit
xhtml simplified
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Jul 2016 18:01:11 +0000 (18:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 22 Jul 2016 18:01:11 +0000 (18:01 +0000)
commit9a6cf8c3b53fe33515acd1aef8e7c7a10d71ae71
treef4661f2c5bb0902c1caecf342502abc8476eee87
parent282936907bd9b37d9de37f14e0e497db16f5d8b0
xhtml simplified
helm/www/lambdadelta/osn.html
helm/www/lambdadelta/web/home/osn.ldw.xml