]> matita.cs.unibo.it Git - helm.git/commitdiff
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)
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
helm/mowgli/home/html/Makefile
helm/mowgli/home/html/publications/others/.cvsignore
helm/mowgli/home/images/logo.png [new file with mode: 0644]
helm/mowgli/home/xml/home.xml
helm/mowgli/home/xml/publications/index.xml
helm/mowgli/home/xml/publications/others/cc.xml [new file with mode: 0644]
helm/mowgli/home/xml/publications/others/cup_hp91.xml [new file with mode: 0644]
helm/mowgli/home/xml/publications/others/cup_hp93.xml [new file with mode: 0644]
helm/mowgli/home/xml/publications/others/publication.dtd
helm/mowgli/home/xml/publications/others/w3c_bl98.xml [new file with mode: 0644]

index 1629dec14d5cd34b4bd288282b5fffa699545cb7..22e6ba4e44acfb186cc2009997afeb3650982066 100644 (file)
@@ -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
index 7e052e33867306933f4922c10f9c6a28f8763d4b..4dfae3efe0a78f2600f741d153b6e0801f3fb25f 100644 (file)
@@ -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) -
index a5a366544088d08b8e9c404083fb0651ebcc9ae6..00a05356798c5060e5c193423d5f1927d488068b 100644 (file)
@@ -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 (file)
index 0000000..9709582
Binary files /dev/null and b/helm/mowgli/home/images/logo.png differ
index ee0878b5cdb0befed3c83bd9421b76913dd252c5..1e6a153c35fd78ac2d10312fb99e60ce6ade9b5b 100644 (file)
@@ -60,6 +60,7 @@
        <li><a href="project-objectives.html">Objectives</a></li>
        <li><a href="project-management.html">Management</a></li>
        <li><a href="contribution.html">Contribution</a></li>
+       <li><a href="innovation.html">Innovation</a></li>
      </ul>
 
       </td>
index 079c293f3b150a74c67f6d0f36de2a0dbb0fec36..6de834a714157538b3995d0131fe19e21aa5d951 100644 (file)
     <entry file="jep_ws"/>
     <entry file="mscs_gb"/>
     <entry file="tphols2001_apss"/>
+    <entry file="w3c_bl98"/>
+    <entry file="cup_hp91"/>
+    <entry file="cup_hp93"/>
+    <entry file="cc"/>
   </related>
 </publications>
 
diff --git a/helm/mowgli/home/xml/publications/others/cc.xml b/helm/mowgli/home/xml/publications/others/cc.xml
new file mode 100644 (file)
index 0000000..f6cc239
--- /dev/null
@@ -0,0 +1,8 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Common Criteria for Information Technology Security Evaluation</title>
+ <where>Part 1, 2, 3, Version 2.1. CCIMB-99-031, August 1999</where>
+</publication>
\ 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 (file)
index 0000000..6b94c6f
--- /dev/null
@@ -0,0 +1,16 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Logical Frameworks</title>
+ <author>
+  <name>G.</name>
+  <surname>Huet</surname>
+ </author>
+ <author>
+  <name>G.</name>
+  <surname>Plotkin</surname>
+ </author>
+ <where>Cambridge University Press, 1991</where>
+</publication>
\ 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 (file)
index 0000000..22dcd18
--- /dev/null
@@ -0,0 +1,16 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Logical Environments</title>
+ <author>
+  <name>G.</name>
+  <surname>Huet</surname>
+ </author>
+ <author>
+  <name>G.</name>
+  <surname>Plotkin</surname>
+ </author>
+ <where>Cambridge University Press, 1993</where>
+</publication>
\ No newline at end of file
index 5fff8ba8d63dbf2376ec9ad007aa2faf5b36c74b..7b131f501806c039b339e6c85c112cca624b6700 100644 (file)
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 
-<!ELEMENT publication (title,author+,where)>
+<!ELEMENT publication (title,author*,where)>
 <!ELEMENT title (#PCDATA)>
 
 <!-- name,surname must be provided iff the "file" attribute is not provided -->
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 (file)
index 0000000..0d6dd98
--- /dev/null
@@ -0,0 +1,12 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>The Semantic Web</title>
+ <author>
+  <name>Tim</name>
+  <surname>Berners-Lee</surname>
+ </author>
+ <where>W3C Architecture Note, 1998</where>
+</publication>
\ No newline at end of file