X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fdocumentation_2.tbl;h=2fedd967572ba93fded847f255cc322fb07c3026;hb=2ec8ae0a49716b205bbf63568ee625ec1e9eb524;hp=ee523fda4e2e4a7b59891b4a0de1ac10a2650223;hpb=9faea203fd99a44d75ea8bcd15b59942a4226922;p=helm.git
diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl
index ee523fda4..2fedd9675 100644
--- a/helm/www/lambdadelta/web/home/documentation_2.tbl
+++ b/helm/www/lambdadelta/web/home/documentation_2.tbl
@@ -84,10 +84,18 @@ table {
"Presentation at University of Bologna (slides)."
* }
]
+ [ { name "ldV2b" "V2b." "" } {
+ "F. Guidi:" +
+ @@("html/specification.html#source2B" "lambdadelta_2B") +
+ "(revised 2019-11)." +
+ "Formal specification for the proof assistant Matita 0.99.4 (scripts)." +
+ @@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
+ * }
+ ]
[ { name "ldV2a" "V2a." "" } {
"F. Guidi:" +
- @@("html/version_2.html" "lambdadelta_2A1") +
- "(revised 2014-10)." +
+ @@("html/specification.html#source2A" "lambdadelta_2A") +
+ "(revised 2019-11)." +
"Formal specification for the proof assistant Matita 0.99.2 (scripts)." +
@@("html/documentation.html#bibtex" "BibTeX entry") ^ "."
* }