]> matita.cs.unibo.it Git - helm.git/commit
improved site map and version 2 page
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 20:55:11 +0000 (20:55 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 6 Jul 2014 20:55:11 +0000 (20:55 +0000)
commit4b72bec9d6fc7970cf4a2bc4a1fc4060e71af3f2
tree44a74f88277707c792232b8be2b75444423599f1
parent2aa295aa37f8fb274f7b640f7627078d9435cefa
improved site map and version 2 page
helm/www/lambdadelta/BTM.html
helm/www/lambdadelta/apps_2.html
helm/www/lambdadelta/basic_2.html
helm/www/lambdadelta/ground_2.html
helm/www/lambdadelta/index.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html
helm/www/lambdadelta/web/home/sitemap.tbl
helm/www/lambdadelta/web/home/version_2.ldw.xml