]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/news.html
- xhtbl : support for named anchors (id's) and other improvements
[helm.git] / helm / www / lambdadelta / news.html
2014-07-13 Ferruccio Guidi- xhtbl : support for named anchors (id's) and other...
2014-07-13 Ferruccio Guidinow the "news" page is generated
2014-06-19 Ferruccio Guidimilestone reported on web site
2013-11-28 Ferruccio Guidiupdate in ground_2, web page for ground_2
2012-12-02 Ferruccio Guidibugfix in uri's: missing "/" added to baseuri's where...
2012-12-02 Ferruccio Guidisome corrections to the prose of the web site
2012-12-01 Ferruccio Guidiweb site update
2012-12-01 Ferruccio Guidinug fix in the location of images
2012-12-01 Ferruccio Guidiplanned dehyphenation of lambdadelta eventually took...