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

]> matita.cs.unibo.it Git - helm.git/commit

author	Irene Schena <irene.schena@unibo.it>
	Wed, 6 Mar 2002 14:40:16 +0000 (14:40 +0000)
committer	Irene Schena <irene.schena@unibo.it>
	Wed, 6 Mar 2002 14:40:16 +0000 (14:40 +0000)
commit	c1318cbfaa63c439e7de90b3c8aa98f029124b88
tree	aa6a8cb8c1f88858ff17f133dae3348e31103946	tree \| snapshot
parent	0f057b69d304a8ca6e6d1e4b67f00755d1650636	commit \| diff

Modified Files:
1) html/.cvsignore html/Makefile xml/home.xml xml/menu.xml: new menu item for
   mowgli proposal
2) xml/news.xml: error fixed
Added Files:
1) html/proposal/.cvsignore
2) xml/proposal/EC-contribution.xml
   xml/proposal/contribution.xml
   xml/proposal/econ-scient-tech-prospects.xml
   xml/proposal/innovation.xml
   xml/proposal/project-management.xml
   xml/proposal/project-objectives.xml
   xml/proposal/project-summary.xml   : files moved in the new dir proposal/
3) xml/proposal/proposal-index.xml: index of mowgli proposal
Removed Files:
1) xml/EC-contribution.xml xml/contribution.xml
   xml/econ-scient-tech-prospects.xml xml/innovation.xml
   xml/project-management.xml xml/project-objectives.xml
   xml/project-summary.xml

21 files changed:

helm/mowgli/home/html/.cvsignore		diff \| blob \| history
helm/mowgli/home/html/Makefile		diff \| blob \| history
helm/mowgli/home/html/proposal/.cvsignore	[new file with mode: 0644]	blob
helm/mowgli/home/xml/EC-contribution.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/contribution.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/econ-scient-tech-prospects.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/home.xml		diff \| blob \| history
helm/mowgli/home/xml/innovation.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/menu.xml		diff \| blob \| history
helm/mowgli/home/xml/news.xml		diff \| blob \| history
helm/mowgli/home/xml/project-management.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/project-objectives.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/project-summary.xml	[deleted file]	blob \| history
helm/mowgli/home/xml/proposal/EC-contribution.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/contribution.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/innovation.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/project-management.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/project-objectives.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/project-summary.xml	[new file with mode: 0644]	blob
helm/mowgli/home/xml/proposal/proposal-index.xml	[new file with mode: 0644]	blob

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

RSS Atom