From: Irene Schena Date: Mon, 4 Mar 2002 14:48:43 +0000 (+0000) Subject: Modified Files: X-Git-Tag: V_0_3_0_debian_8~254 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a9268f8d853c99b4ae22dd7ff998f2ad9a89129b;p=helm.git 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 --- diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore index 1629dec14..22e6ba4e4 100644 --- a/helm/mowgli/home/html/.cvsignore +++ b/helm/mowgli/home/html/.cvsignore @@ -13,4 +13,5 @@ deadlines.html people-list.html latest-news.xml approaching-deadlines.xml -contribution.html \ No newline at end of file +contribution.html +innovation.html \ No newline at end of file diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 7e052e338..4dfae3efe 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -59,6 +59,7 @@ DOCUMENTS = \ project-objectives.html \ project-summary.html \ contribution.html \ + innovation.html \ consortium.html \ project.html \ news.html \ @@ -120,6 +121,10 @@ DOCUMENTS = \ publications/others/tcs2001_og.html \ publications/others/tphols2000_gwz.html \ publications/others/tphols2001_apss.html \ + publications/others/w3c_bl98.html \ + publications/others/cup_hp91.html \ + publications/others/cup_hp93.html \ + publications/others/cc.html \ work-packages/index.html \ work-packages/distribution.html \ work-packages/information-dissemination-and-exploitation.html \ @@ -177,6 +182,10 @@ contribution.html: $(XMLROOT)/contribution.xml \ $(XHTMLCONTENT) sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - +innovation.html: $(XMLROOT)/innovation.xml \ + $(XHTMLCONTENT) + sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - + mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \ $(XHTMLCONTENT) sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) - diff --git a/helm/mowgli/home/html/publications/others/.cvsignore b/helm/mowgli/home/html/publications/others/.cvsignore index a5a366544..00a053567 100644 --- a/helm/mowgli/home/html/publications/others/.cvsignore +++ b/helm/mowgli/home/html/publications/others/.cvsignore @@ -12,3 +12,7 @@ mscs_gb.html tcs2001_og.html tphols2000_gwz.html tphols2001_apss.html +cc.html +cup_hp91.html +cup_hp93.html +w3c_bl98.html \ No newline at end of file diff --git a/helm/mowgli/home/images/logo.png b/helm/mowgli/home/images/logo.png new file mode 100644 index 000000000..970958231 Binary files /dev/null and b/helm/mowgli/home/images/logo.png differ diff --git a/helm/mowgli/home/xml/home.xml b/helm/mowgli/home/xml/home.xml index ee0878b5c..1e6a153c3 100644 --- a/helm/mowgli/home/xml/home.xml +++ b/helm/mowgli/home/xml/home.xml @@ -60,6 +60,7 @@
  • Objectives
  • Management
  • Contribution
    • +
  • Innovation
    • diff --git a/helm/mowgli/home/xml/publications/index.xml b/helm/mowgli/home/xml/publications/index.xml index 079c293f3..6de834a71 100644 --- a/helm/mowgli/home/xml/publications/index.xml +++ b/helm/mowgli/home/xml/publications/index.xml @@ -26,6 +26,10 @@ + + + + diff --git a/helm/mowgli/home/xml/publications/others/cc.xml b/helm/mowgli/home/xml/publications/others/cc.xml new file mode 100644 index 000000000..f6cc23998 --- /dev/null +++ b/helm/mowgli/home/xml/publications/others/cc.xml @@ -0,0 +1,8 @@ + + + + + + Common Criteria for Information Technology Security Evaluation + Part 1, 2, 3, Version 2.1. CCIMB-99-031, August 1999 + \ No newline at end of file diff --git a/helm/mowgli/home/xml/publications/others/cup_hp91.xml b/helm/mowgli/home/xml/publications/others/cup_hp91.xml new file mode 100644 index 000000000..6b94c6f50 --- /dev/null +++ b/helm/mowgli/home/xml/publications/others/cup_hp91.xml @@ -0,0 +1,16 @@ + + + + + + Logical Frameworks + + G. + Huet + + + G. + Plotkin + + Cambridge University Press, 1991 + \ No newline at end of file diff --git a/helm/mowgli/home/xml/publications/others/cup_hp93.xml b/helm/mowgli/home/xml/publications/others/cup_hp93.xml new file mode 100644 index 000000000..22dcd1874 --- /dev/null +++ b/helm/mowgli/home/xml/publications/others/cup_hp93.xml @@ -0,0 +1,16 @@ + + + + + + Logical Environments + + G. + Huet + + + G. + Plotkin + + Cambridge University Press, 1993 + \ No newline at end of file diff --git a/helm/mowgli/home/xml/publications/others/publication.dtd b/helm/mowgli/home/xml/publications/others/publication.dtd index 5fff8ba8d..7b131f501 100644 --- a/helm/mowgli/home/xml/publications/others/publication.dtd +++ b/helm/mowgli/home/xml/publications/others/publication.dtd @@ -1,6 +1,6 @@ - + diff --git a/helm/mowgli/home/xml/publications/others/w3c_bl98.xml b/helm/mowgli/home/xml/publications/others/w3c_bl98.xml new file mode 100644 index 000000000..0d6dd9863 --- /dev/null +++ b/helm/mowgli/home/xml/publications/others/w3c_bl98.xml @@ -0,0 +1,12 @@ + + + + + + The Semantic Web + + Tim + Berners-Lee + + W3C Architecture Note, 1998 + \ No newline at end of file