]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml
- source web pages for lambdadelta_1
[helm.git] / helm / coq-contribs / lambdadelta_1 / web / ground_1.ldw.xml
diff --git a/helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml b/helm/coq-contribs/lambdadelta_1/web/ground_1.ldw.xml
new file mode 100644 (file)
index 0000000..846fe7c
--- /dev/null
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<page xmlns="http://lambdadelta.info/"
+      description = "\lambda\delta home page"
+      title = "\lambda\delta home page"
+      logo = "crux"
+      head = "cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)"
+>
+   <sitemap name="sitemap"/>
+
+   <section6 name="summary">Summary of the Specification</section6>
+   <body>Here is a numerical account of the specification's contents
+         and its timeline.
+   </body>
+   <table name="ground_1_sum"/>
+
+   <news class="delta" date="January 2015.">
+      Update with backports from the abandoned specification of λδ version 2.
+   </news>
+   <news class="delta" date="May 2008.">
+      Specification is concluded.
+   </news>
+   <news class="alpha" date="May 2004.">
+      Specification starts.
+   </news>
+
+   <section6 name="structure">Logical Structure of the Specification</section6>
+   <body>This table reports the specification's components and their planes.
+   </body>
+   <table name="ground_1_src"/>
+
+   <footer/>
+</page>