matita.cs.unibo.it Git - helm.git/history - helm/www/matita/style.css

]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/style.css

[helm.git] / helm / www / matita / style.css

2007-05-28	Stefano Zacchiroli	added abstract toggling	blob \| commitdiff \| raw
2007-05-28	Enrico Tassi	local modifications	blob \| commitdiff \| raw \| diff to current
2006-10-03	Andrea Asperti	New home page, with italian version.	blob \| commitdiff \| raw \| diff to current
2006-07-14	Stefano Zacchiroli	snapshot	blob \| commitdiff \| raw \| diff to current
2006-06-14	Stefano Zacchiroli	cosmetic: better placement of news box	blob \| commitdiff \| raw \| diff to current
2006-06-14	Stefano Zacchiroli	- added news section	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	download.shtml is now valid xhtml 1.0 strict	blob \| commitdiff \| raw \| diff to current
2006-06-13	Stefano Zacchiroli	aligned matita logo to the left	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	added support for displaying the list of papers related...	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	yet another screenshot	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	added screenshots describing matita features	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	added last-modified info at the bottom of every page	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-03	Stefano Zacchiroli	fixed download links and added underlined hyperlinks	blob \| commitdiff \| raw \| diff to current
2006-02-03	Enrico Tassi	added bg	blob \| commitdiff \| raw \| diff to current
2006-02-03	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-02-02	Stefano Zacchiroli	added images and links for validation	blob \| commitdiff \| raw \| diff to current
2006-02-02	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-02-02	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-02-02	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current

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

RSS Atom