- helm server url updated

[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..e8e60f741e953f440dc57e0811583616f4b0d6a8 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>