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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Jul 2014 14:41:50 +0000 (14:41 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 6 Jul 2014 14:41:50 +0000 (14:41 +0000)
commit	c0d87c3cdf879f61aa53e91f43580e9815ae7190
tree	45b43354d0014091dd0b55ce01a7ecf226a4fc17	tree \| snapshot
parent	73445ceb9d6f8a37784d8d2c73dabe800c6e0926	commit \| diff

- xhtbl: support for relative links added
- web site: now the "forword" page is generated

23 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/attr.ml	[new file with mode: 0644]	blob
helm/www/lambdadelta/bin/xhtbl/css.ml	[deleted file]	blob \| history
helm/www/lambdadelta/bin/xhtbl/matrix.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/options.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/pass1.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/pass2.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/pass3.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/table.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/textLexer.mll		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/textParser.mly		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/textUnparser.ml		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/xhtbl.ml		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/ground_2.html		diff \| blob \| history
helm/www/lambdadelta/index.html		diff \| blob \| history
helm/www/lambdadelta/web/home/index.ldw.xml	[new file with mode: 0644]	blob
helm/www/lambdadelta/web/home/index2.ldw.xml	[deleted file]	blob \| history
helm/www/lambdadelta/web/home/sitemap.tbl		diff \| blob \| history

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