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

]> matita.cs.unibo.it Git - helm.git/history - helm/www/lambdadelta/Makefile

2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	blob \| commitdiff \| raw
2014-12-25	Ferruccio Guidi	lddl update with the disambiguated "grundlagen"	blob \| commitdiff \| raw \| diff to current
2014-12-24	Ferruccio Guidi	- bugfix is refreshed state of AutCrg: now we return...	blob \| commitdiff \| raw \| diff to current
2014-07-20	Ferruccio Guidi	- update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2014-07-06	Ferruccio Guidi	- xhtbl: support for relative links added	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
2013-03-09	Ferruccio Guidi	- update in basic_2	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.