- some renaming according to the written version of basic_2

[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

index 3123e6807efadda5ae3ffb6fe072b2ec2d66e347..522ac931266b564134f0d7073f74d88604ece1ac 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground_2/web/ground_2.ldw.xml
@@ -14,10 +14,10 @@
           pp. 53-78].
     </body>
     <table name="ground_2_sum"/>
-   <news date="2013 November 27.">
+   <news class="alpha" date="2013 November 27.">
           Natural numbers with infinity.
     </news>
-   <news date="2011 August 10.">
+   <news class="alpha" date="2011 August 10.">
           Specification starts.
     </news>
  
@@ -30,9 +30,5 @@
     </body>
     <table name="ground_2_src"/>
  
-   <section>Physical Structure of the Specification</section>
-   <body>The source files are grouped in directories,
-         one for each plane.
-   </body>
     <footer/>
  </page>