]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fba2975)
- helm server url updated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Sep 2011 21:28:55 +0000 (21:28 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 8 Sep 2011 21:28:55 +0000 (21:28 +0000)
- some renaming

helm/www/lambda_delta/documentation.html patch | blob | history
helm/www/lambda_delta/implementation.html patch | blob | history
helm/www/lambda_delta/index.html patch | blob | history
helm/www/lambda_delta/news.html patch | blob | history

diff --git a/helm/www/lambda_delta/documentation.html b/helm/www/lambda_delta/documentation.html
index e7f836acc7eedd42aee3203ed85975461bae721f..657dfe22991a22e9373fdb173e979078ac55d792 100644 (file)
--- a/helm/www/lambda_delta/documentation.html
+++ b/helm/www/lambda_delta/documentation.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]"
@@ -50,7 +50,7 @@ A <span style="font-weight: bold;">summary</span> of basic λδ (version
 1) is found in <span style="font-weight: bold;">Resource 1.5</span>
 below.<br>
       <h3><img style="width: 32px; height: 32px;"
- alt="[Basic lambda-delta Logo]" title="Basic lambda-delta"
+ alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
  src="download/basic_32.png"> Basic λδ version 2:</h3>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
@@ -87,7 +87,7 @@ Guidi:
             <a
  href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2009-16"><span
  style="font-style: italic;">Landau's
-"Grundlagen der Analysis" from Automath to lambda-delta</span></a> (<span
+"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
  href="implementation.html#bibtex">BibTeX entry</a>.<br>
@@ -127,7 +127,7 @@ Bologna
         </tbody>
       </table>
       <h3><img style="width: 32px; height: 32px;"
- alt="[Basic lambda-delta Logo]" title="Basic lambda-delta"
+ alt="[Basic lambda_delta Logo]" title="Basic lambda_delta"
  src="download/basic_32.png"> Basic λδ version 1:</h3>
       <table style="text-align: left; width: 100%;" border="0"
  cellpadding="2" cellspacing="2">
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>
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>
diff --git a/helm/www/lambda_delta/news.html b/helm/www/lambda_delta/news.html
index fc6d4d244889fbf4c50b0a9eb961a0ea62f32b50..eb74a15605abb178c487c5b23db90eba7caefbfe 100644 (file)
--- a/helm/www/lambda_delta/news.html
+++ b/helm/www/lambda_delta/news.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]"
Unnamed repository; edit this file 'description' to name the repository.