PPS url: use the univ-paris-diderot.fr domain
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 7 Feb 2013 20:52:31 +0000 (21:52 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 7 Feb 2013 20:52:31 +0000 (21:52 +0100)
index.mdwn

index 405719c..5055ebe 100644 (file)
@@ -25,7 +25,7 @@ Hi, I'm <em><span class="nickname">Zack</span></em> and this is
   <tr>
     <th>affiliation</th>
     <td>
-    <a class="org" href="http://www.pps.jussieu.fr/"><acronym title="Preuves, Programmes et Systèmes">PPS</acronym></a>,
+    <a class="org" href="http://www.pps.univ-paris-diderot.fr/"><acronym title="Preuves, Programmes et Systèmes">PPS</acronym></a>,
     <a href="http://www.univ-paris-diderot.fr">Université Paris Diderot - Paris 7</a>
     <br />
     <a class="org" href="http://www.irill.org"><acronym title="Center  for  Research and  Innovation  on  Free  Software">IRILL</acronym></a>,