λδ site update

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

index 79e15a5419105e4f6ca7dd021b537d072914a6e8..10ede27258bcc10c95df437733eb2b74b867db71 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -48,7 +48,7 @@
     <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"/>
+   <table name="ground_src"/>
  
     <footer/>
  </page>