- helm server url updated

[helm.git] / helm / www / lambda_delta / implementation.html
diff --git a/helm/www/lambda_delta/implementation.html b/helm/www/lambda_delta/implementation.html

index c046df27de484088ea1564cf8136a7f2400ec928..27fbff71b43c1b251070d84449ea533c8fd5e62d 100644 (file)
--- a/helm/www/lambda_delta/implementation.html
+++ b/helm/www/lambda_delta/implementation.html
@@ -2,9 +2,9 @@
  <html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="content-type">
-  <title>lambda-delta home page</title>
+  <title>lambda_delta home page</title>
    <meta content="Ferruccio Guidi" name="author">
-  <meta content="The formal system lambda-delta" name="description">
+  <meta content="The formal system lambda_delta" name="description">
    <link rel="shortcut icon" href="download/crux_16.ico">
  </head>
  <body>
@@ -13,7 +13,7 @@
  <a href="http://lambda-delta.info"><img alt="[Crux Logo]"
   title="The Crux" src="download/crux_32.png"
   style="border: 0px solid ; width: 32px; height: 32px;"></a>
-<h1>The Formal System λδ (lambda-delta)<br>
+<h1>The Formal System λδ (lambda_delta)<br>
  </h1>
  <h2>Towards the unification of terms, types, environments and contexts</h2>
  <img style="width: 95%; height: 4px;" alt="[Separator]"
@@ -148,7 +148,7 @@ Jutting's specification in <a href="http://www.win.tue.nl/automath/">Automath</a
   style="font-weight: bold;">2010-11</span>), <a
   href="download/lddl.tar.bz2">data set</a> (updated <span
   style="font-weight: bold;">2010-11</span>), <a
- href="http://helm.cs.unibo.it/lambda-delta/xml">HELM server URL</a>
+ href="http://lambda-delta.info/xml">HELM server URL</a>
  (updated <span style="font-weight: bold;">2010-11</span>).</li>
        </ul>
        <ul>
@@ -224,10 +224,10 @@ successfully processed, enabling sort inclusion<span
        <ul>
          <li><a name="bibtex"></a>A
  BibTeX database of λδ documentation: <a
- href="download/lambda_delta.bib"><span style="font-style: italic;">lambda-delta.bib</span></a>,
+ href="download/lambda_delta.bib"><span style="font-style: italic;">lambda_delta.bib</span></a>,
  
            <a style="font-style: italic;"
- href="download/lambda_delta.txt">lambda-delta.txt</a> (revised <span
+ href="download/lambda_delta.txt">lambda_delta.txt</a> (revised <span
   style="font-weight: bold;">2010-07</span>).</li>
        </ul>
        <ul>