matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/xslt/ld_web

]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/xslt/ld_web_root.xsl

[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl

2019-12-11	Ferruccio Guidi	web site update	blob \| commitdiff \| raw
2019-12-09	Ferruccio Guidi	grundlagen web pages updated	blob \| commitdiff \| raw \| diff to current
2019-10-14	Ferruccio Guidi	backport of WIP on \lambda\delta to matita 0.99.3	blob \| commitdiff \| raw \| diff to current
2019-10-01	Ferruccio Guidi	Merge remote-tracking branch 'origin/matita-lablgtk3'	blob \| commitdiff \| raw \| diff to current
2019-09-27	Claudio Sacerdoti...	Merge branch 'declarative' into matita-lablgtk3	blob \| commitdiff \| raw \| diff to current
2019-09-27	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	blob \| commitdiff \| raw \| diff to current
2019-01-08	Ferruccio Guidi	patches for compilation with ocaml 4.0.5	blob \| commitdiff \| raw \| diff to current
2018-11-05	Ferruccio Guidi	update in basic_2, static_2, web site	blob \| commitdiff \| raw \| diff to current
2016-07-22	Ferruccio Guidi	corrected xhtml	blob \| commitdiff \| raw \| diff to current
2016-07-21	Ferruccio Guidi	- initial page for osn ...	blob \| commitdiff \| raw \| diff to current
2016-04-07	Ferruccio Guidi	- advances in the site generation architecture	blob \| commitdiff \| raw \| diff to current
2016-04-03	Ferruccio Guidi	- initial description of OSN	blob \| commitdiff \| raw \| diff to current
2015-12-30	Ferruccio Guidi	more minor bugs fixed in the web site	blob \| commitdiff \| raw \| diff to current
2015-12-30	Ferruccio Guidi	minor bugs fixed in the web site, and minor updates	blob \| commitdiff \| raw \| diff to current
2015-05-11	Ferruccio Guidi	some changes in lambdadelta butterflies	blob \| commitdiff \| raw \| diff to current
2015-02-18	Ferruccio Guidi	first article on lambdadelta version 3	blob \| commitdiff \| raw \| diff to current
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	blob \| commitdiff \| raw \| diff to current
2014-10-28	Ferruccio Guidi	- milestone update in basic_2 (basic_2a released)	blob \| commitdiff \| raw \| diff to current
2014-10-09	Ferruccio Guidi	- update in basic_2	blob \| commitdiff \| raw \| diff to current
2014-08-10	Ferruccio Guidi	- update in basic_2	blob \| commitdiff \| raw \| diff to current
2014-07-20	Ferruccio Guidi	the generation of the web site is completed!	blob \| commitdiff \| raw \| diff to current
2014-07-13	Ferruccio Guidi	- xhtbl : support for named anchors (id's) and other...	blob \| commitdiff \| raw \| diff to current
2014-07-13	Ferruccio Guidi	now the "news" page is generated	blob \| commitdiff \| raw \| diff to current
2014-07-07	Ferruccio Guidi	red butterfly added for version 1 :)	blob \| commitdiff \| raw \| diff to current
2014-07-06	Ferruccio Guidi	- xhtbl: we added the real concatenation of cells ...	blob \| commitdiff \| raw \| diff to current
2014-07-06	Ferruccio Guidi	named anchors replaced by ids as requested by xhtml	blob \| commitdiff \| raw \| diff to current
2014-06-29	Ferruccio Guidi	- we begin the new site based on ld_web	blob \| commitdiff \| raw \| diff to current
2013-03-11	Ferruccio Guidi	- xslt and Makefile improved, web pages regenerated	blob \| commitdiff \| raw \| diff to current
2012-12-02	Ferruccio Guidi	- bugfix in stylesheets	blob \| commitdiff \| raw \| diff to current
2012-12-02	Ferruccio Guidi	bugfix in uri's: missing "/" added to baseuri's where...	blob \| commitdiff \| raw \| diff to current
2012-12-01	Ferruccio Guidi	planned dehyphenation of lambdadelta eventually took...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom