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

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

[helm.git] / helm / www / matita / download.shtml

2010-01-07	Enrico Tassi	...	blob \| commitdiff \| raw
2009-10-12	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-12	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-02-15	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-02-15	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-09	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-08	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-02	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-12-01	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-28	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-25	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-20	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-11-18	Enrico Tassi	0.5.5	blob \| commitdiff \| raw \| diff to current
2008-10-19	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-10-19	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-09-27	Enrico Tassi	added UBUNTU/	blob \| commitdiff \| raw \| diff to current
2008-07-23	Enrico Tassi	0.5.3	blob \| commitdiff \| raw \| diff to current
2008-07-02	Enrico Tassi	0.5.2	blob \| commitdiff \| raw \| diff to current
2008-05-29	Enrico Tassi	0.5.1 released	blob \| commitdiff \| raw \| diff to current
2008-05-24	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-10	Enrico Tassi	fixed english	blob \| commitdiff \| raw \| diff to current
2008-05-10	Enrico Tassi	valid xml	blob \| commitdiff \| raw \| diff to current
2008-05-10	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-10	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2008-05-10	Enrico Tassi	released 0.5.0	blob \| commitdiff \| raw \| diff to current
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
2006-10-03	Andrea Asperti	New home page, with italian version.	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-10	Stefano Zacchiroli	added automatic generation 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-05-19	Enrico Tassi	fixed typo	blob \| commitdiff \| raw \| diff to current
2006-05-16	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2006-05-16	Enrico Tassi	fixed	blob \| commitdiff \| raw \| diff to current
2006-02-09	Stefano Zacchiroli	completed installation instructions	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-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.

RSS Atom