]> matita.cs.unibo.it Git - helm.git/commit
grundlagen web pages updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Dec 2019 19:38:48 +0000 (20:38 +0100)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 9 Dec 2019 19:38:48 +0000 (20:38 +0100)
commit21e21b3b061807035bbd18d29d7a4fd8086ca10d
tree46bf916ee1abaa3d1014e974b5c0a8bfa885b54f
parenta82d87a4c2ff9f518385fba7357dafb632a22882
grundlagen web pages updated

+ some improvements in XSLT processing
.gitignore
helm/www/lambdadelta/Makefile
helm/www/lambdadelta/css/ld_web.css
helm/www/lambdadelta/css/lddl.css
helm/www/lambdadelta/web/home/documentation.ldw.xml
helm/www/lambdadelta/web/home/implementation.ldw.xml
helm/www/lambdadelta/xslt/ld_web_root.xsl
helm/www/lambdadelta/xslt/lddl_library.xsl
helm/www/lambdadelta/xslt/lddl_term.xsl