From 691c330235597faab8ad7be34242bc545d4c4023 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 1 Dec 2012 18:51:12 +0000 Subject: [PATCH] nug fix in the location of images --- helm/www/lambdadelta/documentation.html | 16 ++++++++-------- helm/www/lambdadelta/implementation.html | 20 ++++++++++---------- helm/www/lambdadelta/index.html | 14 +++++++------- helm/www/lambdadelta/news.html | 14 +++++++------- 4 files changed, 32 insertions(+), 32 deletions(-) diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index 3f24ef43c..d855689c2 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -5,20 +5,20 @@ lambdadelta home page - +

[Crux Logo]

The Formal System λδ (lambdadelta)

Towards the unification of terms, types, environments and contexts

[Separator]
+ title="Separator" src="images/rainbow.png">
@@ -41,7 +41,7 @@

Documentation [Butterfly]

+ title="Butterfly" src="images/b5.png"> Currently the main source of information on λδ (version 1) is

[Basic lambdadelta Logo] Basic λδ version 2 (in + src="images/basic_32.png"> Basic λδ version 2 (in progress):

@@ -143,7 +143,7 @@ href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2009.bib?ncstrl.cabernet//BO

[Basic lambdadelta Logo] Basic λδ version 1 + src="images/basic_32.png"> Basic λδ version 1 (dismissed):

@@ -342,10 +342,10 @@ Guidi: style="border: 0px solid ; width: 88px; height: 31px;">[Use Any Browser Here][PNG Used Here]
+ src="http://www.cs.unibo.it/%7Efguidi/images/PNGnow2.png">

Last update 2012-12-01 by Ferruccio diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index 7785bbf75..67872e9d6 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -5,20 +5,20 @@ lambdadelta home page - +

[Crux Logo]

The Formal System λδ (lambdadelta)

Towards the unification of terms, types, environments and contexts

[Separator]
+ title="Separator" src="images/rainbow.png">
@@ -42,7 +42,7 @@

Computer-checked formal specifications [Butterfly]

+ src="images/b9.png">Resource 1 below provides for the statically generated natural language @@ -141,10 +141,10 @@ Formal

Tools [Butterfly]

+ title="Butterfly" src="images/b5.png"> [Crux Logo] The λδ Digital @@ -183,7 +183,7 @@ href="static/lddl/crg_si/grundlagen/l/e/st/eq/landau/n/rt/rp/r/c/8283/t234.ld.ht
[Helena Logo] Helena is a λδ processor, @@ -268,7 +268,7 @@ computer

Other resources [Butterfly]

+ title="Butterfly" src="images/b4.png">
@@ -41,7 +41,7 @@

Foreword [Butterfly]

+ src="images/b9.png"> The formal system λδ (lambdadelta) is a typed lambda calculus that pursues the static and dynamic unification of terms, types, environments and contexts while @@ -145,7 +145,7 @@ the Internet Explorer user [Butterfly] + title="Butterfly" src="images/b3.png"> To view this site correctly, please select a font with Unicode support. @@ -167,10 +167,10 @@ Options" entry → "General" tab → "Fonts" button.
style="border: 0px solid ; width: 88px; height: 31px;"> [Use Any Browser Here] [PNG Used Here]
+ title="PNG Used Here" src="images/PNGnow2.png">

Last update 2012-12-01 by Ferruccio Guidi
diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 7d581cbb7..8bc12e324 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -5,18 +5,18 @@ lambdadelta home page - +

[Crux Logo]

The Formal System λδ (lambdadelta)

Towards the unification of terms, types, environments and contexts

[Separator]
+ title="Separator" src="images/rainbow.png">
@@ -40,7 +40,7 @@

News [Butterfly]

+ src="images/b5.png">
  • September 2011. The denomination "lambdadelta" changes to "lambdadelta". @@ -218,7 +218,7 @@ started with Coq 7.3.1.

Visibility [Butterfly]

+ src="images/b4.png">
  • February 2012. The Google search for href="http://www.anybrowser.org/campaign/">[Use Any Browser Here] [PNG Used Here]
    + title="PNG Used Here" src="images/PNGnow2.png">

    Last update 2012-12-01 by Ferruccio -- 2.39.2