X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fmembers%2Fkick-off.xml;h=e02a683cdd8062b8b21108454e3f087c874c2f97;hb=f823e2fa62fff6e91c9c4204177894609b0b9f11;hp=45ca1cb8873d0fe6ad2dac19b89cc5b78704d6e8;hpb=ff5079a2aeb8e62e23c9eb4c1c9fbf37056e5f97;p=helm.git

diff --git a/helm/mowgli/home/xml/members/kick-off.xml b/helm/mowgli/home/xml/members/kick-off.xml
index 45ca1cb88..e02a683cd 100644
--- a/helm/mowgli/home/xml/members/kick-off.xml
+++ b/helm/mowgli/home/xml/members/kick-off.xml
@@ -53,7 +53,8 @@
   PCoq (an interface to the Coq system based on Aioli [for tree management],
   PPML [a sort of stylesheet language] and Figue [rendering engine]).
  </presentation>
- <presentation site="inria" author="herbelin" media="slides">
+ <presentation site="inria" author="herbelin"
+  media="slides" slides="kick-off/MoWGLI-LogiCal.ps">
   Presentation of the work of Rocquencourt: Coq (proof assistant) and its
   problems:
   <ul>
@@ -86,7 +87,8 @@
   in electronic form. His main contribution will be providing links to
   mathematicians.
  </presentation>
- <presentation site="aei" author="schutz" media="slides">
+ <presentation site="aei" author="schutz"
+  media="slides" slides="kick-off/AIP_Intro.ppt">
   Presentation of the work done at the Max Planck Institute for Gravitational
   Physics; presentation of Living Reviews in Relativity and expectations
   from MOWGLI (i.e. searching, rendering, interoperability). He points out