some external links updated

diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index 9578f98533ead4a5441ed38050b1d193c1ea0782..b6ded88a24345fb6b5574651149768343094bfbe 100644 (file)
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -64,9 +64,11 @@ Guidi: <a href="download/cie_2010.pdf"><span
 Formal System </span><span style="font-style: italic;">λδ</span></a><span
  style="font-style: italic;"></span> (<span style="font-weight: bold;">2010-07</span>).
 
-In <span style="font-style: italic;">CiE 2010 Local Proceedings</span>.
+In
+            <span style="font-style: italic;">CiE 2010 Local Proceedings</span>.
 
-University of Azores, CMATI Booklet, pp. 204-213. <a
+University
+of Azores, CMATI Booklet, pp. 204-213. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -76,11 +78,12 @@ University of Azores, CMATI Booklet, pp. 204-213. <a
             </td>
             <td style="vertical-align: top;"> <a name="ldp6"></a>F.
 Guidi: <a
- href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2009-16"><span
+ href="http://www.informatica.unibo.it/it/ricerca/technical-report/2009/UBLCS-2009-16"><span
  style="font-style: italic;">Landau's "Grundlagen der Analysis" from
 Automath to lambda-delta</span></a> (<span style="font-weight: bold;">2009-09)</span>.
 
-University of Bologna, technical report UBLCS-2009-16. <a
+University
+of Bologna, technical report UBLCS-2009-16. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -93,7 +96,8 @@ Guidi: <a href="download/ld_talk_7s.pdf"><span
  style="font-style: italic;">An Efficient Validation Procedure for the
 Formal System λδ</span></a> (<span style="font-weight: bold;">2010-07</span>).
 
-Presentation at CiE 2010 (slides).<br>
+Presentation
+at CiE 2010 (slides).<br>
             <br>
             </td>
           </tr>
@@ -140,9 +144,11 @@ Guidi: <a href="download/cie_2007.pdf"><span
  style="font-style: italic;">Lambda Types on the Lambda Calculus with
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 
-In <span style="font-style: italic;">CiE 2007 Local Proceedings</span>.
+In
+            <span style="font-style: italic;">CiE 2007 Local Proceedings</span>.
 
-University of Siena, technical report 487, p. 387 (abstract of a
+University
+of Siena, technical report 487, p. 387 (abstract of a
 presentation). <a href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -152,11 +158,12 @@ presentation). <a href="implementation.html#bibtex">BibTeX entry</a>.<br>
             </td>
             <td style="vertical-align: top;"><a name="ldp3"></a>F.
 Guidi: <a
- href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2006.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2006-25"><span
+ href="http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-25"><span
  style="font-style: italic;">Lambda Types on the Lambda Calculus with
 Abbreviations</span></a> (<span style="font-weight: bold;">2006-11</span>).
 
-University of Bologna, technical report UBLCS-2006-25. <a
+University
+of Bologna, technical report UBLCS-2006-25. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
             <br>
             </td>
@@ -166,9 +173,10 @@ University of Bologna, technical report UBLCS-2006-25. <a
             </td>
             <td style="vertical-align: top;"><a name="ldp2"></a>F.
 Guidi: <a style="font-style: italic;"
- href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2006.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2006-01">Lambda
+ href="http://www.informatica.unibo.it/it/ricerca/technical-report/2006/UBLCS-2006-01">Lambda
 
-Types on the Lambda Calculus with Abbreviations: a Certified
+Types
+on the Lambda Calculus with Abbreviations: a Certified
 Specification</a> (<span style="font-weight: bold;">2006-01</span>).
 University of Bologna, technical report UBLCS-2006-01. <a
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
@@ -181,7 +189,8 @@ University of Bologna, technical report UBLCS-2006-01. <a
             <td style="vertical-align: top;"><a name="ldt5"></a>F.
 Guidi: <a style="font-style: italic;" href="download/ld_talk_5s.pdf">The
 
-Formal System </a><a href="download/cie_2010.pdf"><span
+Formal
+System </a><a href="download/cie_2010.pdf"><span
  style="font-style: italic;">λδ</span></a> (<span
  style="font-weight: bold;">2008-10</span>). Presentation at "Advances
 in Constructive Topology and Logical Foundations" (slides).<br>
@@ -196,7 +205,8 @@ Guidi: <a href="download/ld_talk_4s.pdf"><span
  style="font-style: italic;">Towards the Unification of Terms, Types
 and Contexts</span></a> (<span style="font-weight: bold;">2008-03</span>).
 
-Presentation at Types 2008 (slides).<br>
+Presentation
+at Types 2008 (slides).<br>
             <br>
             </td>
           </tr>
@@ -208,7 +218,8 @@ Guidi: <a href="download/ld_talk_3s.pdf"><span
  style="font-style: italic;">Lambda Types on the Lambda Calculus with
 Abbreviations</span></a> (<span style="font-weight: bold;">2007-06</span>).
 
-Presentation at CiE 2007 (slides).<br>
+Presentation
+at CiE 2007 (slides).<br>
             <br>
             </td>
           </tr>
@@ -220,8 +231,9 @@ Guidi: <a href="download/ld_talk_2s.pdf"><span
  style="font-style: italic;">Lambda Tipi sul Lambda Calcolo con
 Abbreviazioni</span></a> (<span style="font-weight: bold;">2007-01</span>).
 
-Presentation at the University of Padova (slides <span
- style="font-weight: bold;">in Italian</span>).<br>
+Presentation
+at the University of Padova (slides <span style="font-weight: bold;">in
+Italian</span>).<br>
             <br>
             </td>
           </tr>
@@ -259,7 +271,6 @@ Italian</span>).<br>
  title="PNG Used Here]" src="images/PNGnow2.png"><br>
 <br>
 Last update 2014-02-25 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
-
 Guidi</a><br>
 </div>
 </body>