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

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

[helm.git] / helm / www / lambdadelta / Makefile

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-12-02	Ferruccio Guidi	updated web site	blob \| commitdiff \| raw \| diff to current
2019-11-21	Ferruccio Guidi	web site update	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
2018-01-13	Ferruccio Guidi	\lambda\delta web site update for git	blob \| commitdiff \| raw \| diff to current
2016-04-04	Ferruccio Guidi	one file was missing	blob \| commitdiff \| raw \| diff to current
2015-02-21	Ferruccio Guidi	- update for helena 0.8.2 and related files	blob \| commitdiff \| raw \| diff to current
2015-01-19	Ferruccio Guidi	update in web page for basic_1	blob \| commitdiff \| raw \| diff to current
2015-01-16	Ferruccio Guidi	lambdadelta_1: bugfix	blob \| commitdiff \| raw \| diff to current
2015-01-16	Ferruccio Guidi	infrastructure to browse lambdadelta_1 remotely	blob \| commitdiff \| raw \| diff to current
2015-01-04	Ferruccio Guidi	- xhtbl: minor improvement	blob \| commitdiff \| raw \| diff to current
2014-12-26	Ferruccio Guidi	the corrected "Grundlagen" is online	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom