]> matita.cs.unibo.it Git - helm.git/history - helm/www/matita/Makefile
...
[helm.git] / helm / www / matita / Makefile
2008-11-25 Enrico Tassi...
2006-07-14 Stefano Zacchirolisnapshot
2006-06-13 Stefano Zacchirolinew path for XSLT sytlesheets
2006-06-13 Stefano Zacchiroliuse the install target of the manual
2006-06-10 Stefano Zacchiroliadded support for displaying the list of papers related...
2006-06-10 Stefano Zacchiroliadded deps, create target dir if missing
2006-06-10 Stefano Zacchirolifirst generation of manual from docbook
2006-06-10 Stefano Zacchiroliadded automatic generation of the manual
2006-06-10 Stefano Zacchiroli- all final shtml are now well formed XML documents
2006-02-02 Stefano Zacchiroli- moved images in images/
2006-02-02 Stefano Zacchiroli(dis)organized web stuff