site update for helena 0.8.3

[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 b88abf3a1c36290debcf6592226ffdc5ec4156b5..e8c3d5b13a2ed1dfcc42697849931df3f7c36c1f 100644 (file)
--- a/helm/www/lambdadelta/web/home/specification.ldw.xml
+++ b/helm/www/lambdadelta/web/home/specification.ldw.xml
@@ -3,15 +3,14 @@
  <page xmlns="http://lambdadelta.info/"
        description = "\lambda\delta home page"
        title = "\lambda\delta home page"
-      head = "The Formal System λδ (\lambda\delta)"
+      head = "The Formal Systems of the λδ (\lambda\delta) Family"
  >
     <sitemap name="sitemap"/>
  
     <section15 name="specifications">Computer-checked formal specifications</section15>
     <body>
-      λδ is developed as a machine-checked digital specification.
-      It comes in several versions listed in the next table,
-      which includes the major milestones.
+      The systems of the λδ family are developed as machine-checked digital specifications,
+      and are listed in the next table, which includes the major milestones.
     </body>
     <body>
        The life cycle of a specification consists of four periods.