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

2006-06-10	Stefano Zacchiroli	added automatic generation of the manual	blob \| commitdiff \| raw
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.