]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 814190c) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 11:23:19 +0000 (11:23 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 4 Mar 2002 11:23:19 +0000 (11:23 +0000)
commitd8b5502323dd2dcd4b881e2874d9bdf548bee419
tree3f9412b57ba2759ba15773eaf937f97e8dff826etree | snapshot
parent814190c418e4c4839f53f7fe29a2443d38467ce2commit | diff
Modified Files:
1) home/html/Makefile home/xml/home.xml: added chapter 4 mowgli proposal
2) home/xml/project-objectives.xml: error fixed
Added Files:
1) home/images/arch.png: new image
2) home/xml/contribution.xml: chapter 4 mowgli proposal
Removed Files:
1) home/images/arch.gif: old image
helm/mowgli/home/html/Makefile diff | blob | history
helm/mowgli/home/images/arch.gif [deleted file] blob | history
helm/mowgli/home/images/arch.png [new file with mode: 0644] blob
helm/mowgli/home/xml/contribution.xml [new file with mode: 0644] blob
helm/mowgli/home/xml/home.xml diff | blob | history
helm/mowgli/home/xml/project-objectives.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.