refactoring and regeneration of lddl

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

index abc24b14e3b258f222746342dcce44a524836058..649743baf67d0d4891dff2512c3cca08abd40a7f 100644 (file)
--- a/helm/www/lambda_delta/index.html
+++ b/helm/www/lambda_delta/index.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]"
@@ -43,7 +43,7 @@
   style="width: 37px; height: 37px;" alt="[Butterfly]" title="Butterfly"
   src="download/b9.png"></h3>
  The formal system λδ
-(lambda-delta) is a typed lambda calculus that pursues the static and
+(lambda_delta) is a typed lambda calculus that pursues the static and
  dynamic unification of terms, types, environments and contexts while
  enjoying a well-conceived meta-theory, which includes the commonly
  desired properties.<br>
@@ -98,13 +98,13 @@ Options" entry → "General" tab → "Fonts" button.</span><br>
   style="border: 0px solid ; width: 88px; height: 31px;"></a> <a
   href="http://www.anybrowser.org/campaign/"><img
   alt="[Use Any Browser Here]" title="Use Any Browser Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
+ src="download/globe_trans.png"
   style="border: 0px solid ; width: 147px; height: 42px;"></a> <img
   style="width: 88px; height: 31px;" alt="[PNG Used Here]"
   title="PNG Used Here"
- src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"><br>
+ src="download/PNGnow2.png"><br>
  <br>
-Last update 2010-12-14 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
+Last update 2011-09-09 by <a href="http://www.cs.unibo.it/%7Efguidi/">Ferruccio
  Guidi</a><br>
  </div>
  </body>