]>
matita.cs.unibo.it Git - helm.git/commit - helm/mowgli/home/xml/publications/others/cup_hp93.xml
Modified Files:
1) home/html/.cvsignore home/html/Makefile home/xml/home.xml: added chapter 5
mowgli proposal
2) home/html/publications/others/.cvsignore home/xml/publications/index.xml
home/xml/publications/others/publication.dtdi: added biblio references
Added Files:
1) home/images/logo.png home/xml/publications/others/cc.xml
home/xml/publications/others/cup_hp91.xml
home/xml/publications/others/cup_hp93.xml
home/xml/publications/others/w3c_bl98.xml: image and biblio references