X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fweb%2Fhome%2Fversion_2.ldw.xml;h=46a328badab83957959dd5b50f15313d687dbfe7;hb=bda0d7ea2a1aecb2bacd82972d476fbd9d63f4dc;hp=4fc844a1d3023f99b0572be70b93d9a8ac880432;hpb=bc5516f15988620e9b152c6c741daae4a4c4fb0c;p=helm.git diff --git a/helm/www/lambdadelta/web/home/version_2.ldw.xml b/helm/www/lambdadelta/web/home/version_2.ldw.xml index 4fc844a1d..46a328bad 100644 --- a/helm/www/lambdadelta/web/home/version_2.ldw.xml +++ b/helm/www/lambdadelta/web/home/version_2.ldw.xml @@ -11,13 +11,13 @@ The formal specification of λδ version 2 is available in the following formats: - + lambdadelta_2 for Matita 0.99.2 (revised ). Source scripts. BibTeX entry - + Background, Core, Applications.