]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/lambdadelta_1/web/basic_1.ldw.xml
web site update
[helm.git] / helm / coq-contribs / lambdadelta_1 / web / basic_1.ldw.xml
diff --git a/helm/coq-contribs/lambdadelta_1/web/basic_1.ldw.xml b/helm/coq-contribs/lambdadelta_1/web/basic_1.ldw.xml
deleted file mode 100644 (file)
index 421276c..0000000
+++ /dev/null
@@ -1,46 +0,0 @@
-<?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/basic_1/ (core λδ version 1)"
->
-   <sitemap name="sitemap"/>
-
-   <section6 name="blocks">Abstract Syntax and Behavior</section6>
-   <body>This is a summary of available syntactic items and reductions (block structure).
-   </body>
-   <table name="basic_1_blk"/>
-   <body>* In terms only.
-   </body>
-
-   <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="basic_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="gamma" date="November 2006.">
-      Decidability of native type assignment, λδ version 1 is released.
-   </news>
-   <news class="beta" date="December 2005.">
-      Preservation of native type by reduction, λδ version 1 is announced.
-   </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="basic_1_src"/>
-
-   <footer/>
-</page>