]> matita.cs.unibo.it Git - helm.git/commit
now the "news" page is generated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 Jul 2014 14:32:20 +0000 (14:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 13 Jul 2014 14:32:20 +0000 (14:32 +0000)
commitbda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc
tree328a39f6da1be7c9bb2a503411282a2c0e713694
parentbc5516f15988620e9b152c6c741daae4a4c4fb0c
now the "news" page is generated
13 files changed:
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/news.html
helm/www/lambdadelta/version_1.html
helm/www/lambdadelta/version_2.html
helm/www/lambdadelta/web/home/index.ldw.xml
helm/www/lambdadelta/web/home/news.ldw.xml [new file with mode: 0644]
helm/www/lambdadelta/web/home/version_1.ldw.xml
helm/www/lambdadelta/web/home/version_2.ldw.xml
helm/www/lambdadelta/xslt/ld_web_root.xsl