documentation update

[helm.git] / helm / www / lambdadelta / web / home / specification.ldw.xml
diff --git a/helm/www/lambdadelta/web/home/specification.ldw.xml b/helm/www/lambdadelta/web/home/specification.ldw.xml

index a489b47a8f2ca93d61cea3d4d4a52ea84d1cbb91..969e3fd004acbf792c91ab4910b29f5683f01a07 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -44,6 +44,14 @@
        introduced in each script, is shown in parentheses (? are placeholders).
     </topitem>
  
+<!-- VERSION 3 =========================================================== -->
+
+   <subsection name="v3"><version3-icon/>λδ version 3 (proposed)</subsection>
+   <body>
+      The formal specification of λδ version 3
+      is forthcoming.
+   </body>
+
  <!-- VERSION 2 =========================================================== -->
  
     <subsection name="v2"><version2-icon/>λδ version 2 (active)</subsection>