X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fdocumentation.html;h=982e136303db85c117620a508328c5c0742e235b;hb=37e1b4f314ffae815beca71300688040f8da6939;hp=e81eb4956168ab1f52751504fc92edcf20ae2c40;hpb=636db4e12452d2ebce318b36cf5c41d30e4d9c29;p=helm.git
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html
index e81eb4956..982e13630 100644
--- a/helm/www/lambdadelta/documentation.html
+++ b/helm/www/lambdadelta/documentation.html
@@ -95,13 +95,15 @@
BibTeX database of λδ documentation:
- download
lambdadelta.bib,
- view
lambdadelta.txt
+
download
+
lambdadelta.bib,
+
view
+
lambdadelta.txt
(revised
2014-10).
-
![lambdadelta butterfly [spacer]](http://lambdadelta.info/images/b4.png)
λδ version 2 (in progress)
+
λδ version 2 (ongoing)
The main source of information is P8.
@@ -197,7 +199,7 @@
J1.
|
- F. Guidi: The Formal System λδ (2009-11). In In ACM ToCL 11(1), pp. 5:1-5:37 ( accepted
+ | F. Guidi: The Formal System λδ (2009-11). In ACM ToCL 11(1), pp. 5:1-5:37 (accepted
2008-07). CoRR identifier cs/0611040 [v10] (revised 2008-09). BibTeX entry. |
@@ -344,6 +346,6 @@
- Last update: Mon, 20 Oct 2014 16:59:34 +0200
+ Last update: Wed, 22 Oct 2014 20:00:28 +0200