]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baebde0) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 14:48:43 +0000 (14:48 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 14:48:43 +0000 (14:48 +0000)
commita9268f8d853c99b4ae22dd7ff998f2ad9a89129b
treebd9aacc8b708d48bb986227399a6f1c8e394d98dtree | snapshot
parentbaebde088a325fece924c96d121410dbc2018bc0commit | diff
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
helm/mowgli/home/html/.cvsignore diff | blob | history
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/html/publications/others/.cvsignore diff | blob | history
helm/mowgli/home/images/logo.png [new file with mode: 0644] blob
helm/mowgli/home/xml/home.xml diff | blob | history
helm/mowgli/home/xml/publications/index.xml diff | blob | history
helm/mowgli/home/xml/publications/others/cc.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/cup_hp91.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/cup_hp93.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/publications/others/publication.dtd diff | blob | history
helm/mowgli/home/xml/publications/others/w3c_bl98.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.