ground_2 released and permanently renamed as ground

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / web / ground_2.ldw.xml
diff --git a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml

deleted file mode 100644 (file)

index b707697..0000000
--- a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml
+++ /dev/null
@@ -1,51 +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:/matita/lambdadelta/ground_2/ (background for λδ version 2)"
->
-   <sitemap name="sitemap"/>
-
-   <section4 name="summary">Summary of the Specification</section4>
-   <body>Here is a numerical account of the specification's contents
-         and its timeline.
-   </body>
-   <table name="ground_2_sum"/>
-
-   <news class="alpha" date="2020 February 27.">
-         Specification becomes an independent package.
-   </news>
-   <news class="alpha" date="2020 January 6.">
-         Centralized xoa infrastructure removed.
-   </news>
-   <news class="alpha" date="2018 June 6.">
-         Decentralized xoa infrastructure.
-   </news>
-   <news class="alpha" date="2016 April 18.">
-         Generic rt-transition counter (rtc).
-   </news>
-   <news class="alpha" date="2016 March 4.">
-         Platform-independent multiple relocation (rtmap).
-   </news>
-   <news class="alpha" date="2016 January 20.">
-         Multiple relocation with streams of naturals.
-   </news>
-   <news class="alpha" date="2015 October 11.">
-         Multiple relocation with lists of booleans.
-   </news>
-   <news class="alpha" date="2013 November 27.">
-         Natural numbers with infinity (ynat).
-   </news>
-   <news class="alpha" date="2011 August 10.">
-         Specification starts.
-   </news>
-
-   <section4 name="structure">Logical Structure of the Specification</section4>
-   <body>This table reports the specification's components and their planes.
-   </body>
-   <table name="ground_2_src"/>
-
-   <footer/>
-</page>