matita.cs.unibo.it Git - helm.git/history - helm/www/matita/documentation.shtml

]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/documentation.shtml

2008-11-25	Enrico Tassi	...	blob \| commitdiff \| raw
2008-04-30	Enrico Tassi	xml strict!	blob \| commitdiff \| raw \| diff to current
2008-04-30	Enrico Tassi	many pending modifications were there, now the website...	blob \| commitdiff \| raw \| diff to current
2007-05-28	Enrico Tassi	aded papers	blob \| commitdiff \| raw \| diff to current
2007-05-28	Enrico Tassi	local modifications	blob \| commitdiff \| raw \| diff to current
2006-06-14	Stefano Zacchiroli	- added news section	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	added reference to the online version of the manual	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	- all final shtml are now well formed XML documents	blob \| commitdiff \| raw \| diff to current
2006-06-09	Stefano Zacchiroli	- added a real-life index page	blob \| commitdiff \| raw \| diff to current
2006-06-09	Stefano Zacchiroli	rewored website layout and internal structure:	blob \| commitdiff \| raw \| diff to current
2006-06-09	Stefano Zacchiroli	reworked css and html structure, continuing offline ...	blob \| commitdiff \| raw \| diff to current
2006-02-06	Stefano Zacchiroli	- escaped "&" in URLs so that all pages are now XHTML...	blob \| commitdiff \| raw \| diff to current
2006-02-02	Stefano Zacchiroli	- moved images in images/	blob \| commitdiff \| raw \| diff to current
2006-02-02	Stefano Zacchiroli	use server-side include	blob \| commitdiff \| raw \| diff to current

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