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

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

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: bda0d7e) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 13 Jul 2014 21:35:30 +0000 (21:35 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Sun, 13 Jul 2014 21:35:30 +0000 (21:35 +0000)
commit	3167db4903eea2eddc60a91cfd922be3672ce077
tree	52dd403c2f782e687e18f3d2565a4affaf316860	tree \| snapshot
parent	bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc	commit \| diff

- xhtbl : support for named anchors (id's) and other improvements
- ld_web: additions for the "documentation" page

17 files changed:

helm/www/lambdadelta/BTM.html		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/matrix.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/textParser.mly		diff \| blob \| history
helm/www/lambdadelta/bin/xhtbl/textUnparser.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/news.html		diff \| blob \| history
helm/www/lambdadelta/version_1.html		diff \| blob \| history
helm/www/lambdadelta/version_2.html		diff \| blob \| history
helm/www/lambdadelta/xslt/ld_web_root.xsl		diff \| blob \| history

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