matita.cs.unibo.it Git - helm.git/history

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

2006-06-10	Stefano Zacchiroli	added support for displaying the list of papers related...	blob \| commitdiff \| raw
2006-06-10	Stefano Zacchiroli	added deps, create target dir if missing	blob \| commitdiff \| raw \| diff to current
2006-06-10	Stefano Zacchiroli	first generation of manual from docbook	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-02-02	Stefano Zacchiroli	- moved images in images/	blob \| commitdiff \| raw \| diff to current
2006-02-02	Stefano Zacchiroli	(dis)organized web stuff	blob \| commitdiff \| raw \| diff to current

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