matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 4 Jan 2015 23:44:48 +0000 (23:44 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 4 Jan 2015 23:44:48 +0000 (23:44 +0000)
commit	2c4b4aaa6f1490346823a26cba5dd965cab0cd02
tree	bbb020a5bc087d230933467839d8099bd1423d7e	tree \| snapshot
parent	edf9e34100f49d4aa5ba8f3ce53e34af7718d88e	commit \| diff

- xhtbl: minor improvement
- web site update
- static xhtml pages from lddl: updated trough ld_web infrastructure

25 files changed:

helm/www/lambdadelta/BTM.html		diff \| blob \| history
helm/www/lambdadelta/Makefile		diff \| blob \| history
helm/www/lambdadelta/apps_2.html		diff \| blob \| history
helm/www/lambdadelta/basic_2.html		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml		diff \| blob \| history
helm/www/lambdadelta/css/ld_web.css		diff \| blob \| history
helm/www/lambdadelta/css/lddl.css		diff \| blob \| history
helm/www/lambdadelta/documentation.html		diff \| blob \| history
helm/www/lambdadelta/download/helena_0.8.2.tar.gz	[new file with mode: 0644]	blob
helm/www/lambdadelta/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/implementation.html		diff \| blob \| history
helm/www/lambdadelta/index.html		diff \| blob \| history
helm/www/lambdadelta/news.html		diff \| blob \| history
helm/www/lambdadelta/specification.html		diff \| blob \| history
helm/www/lambdadelta/web/home/implementation.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/news.ldw.xml		diff \| blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web.xsl		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web_root.xsl		diff \| blob \| history
helm/www/lambdadelta/xslt/lddl.xsl		diff \| blob \| history
helm/www/lambdadelta/xslt/lddl_constant.xsl	[new file with mode: 0644]	blob
helm/www/lambdadelta/xslt/lddl_entity.xsl	[deleted file]	blob \| history
helm/www/lambdadelta/xslt/lddl_library.xsl		diff \| blob \| history
helm/www/lambdadelta/xslt/lddl_root.xsl		diff \| blob \| history
helm/www/lambdadelta/xslt/lddl_term.xsl		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.