X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground.ldw.xml;h=bc55626b7c8e246baa4754026b882f113ff69c00;hb=888840f6b3a71d3d686b53b702d362ab90ab0038;hp=10ede27258bcc10c95df437733eb2b74b867db71;hpb=19b0a814861157ba05f23877d5cd94059f52c2e8;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
index 10ede2725..bc55626b7 100644
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -14,6 +14,9 @@
    </body>
    <table name="ground_sum"/>
 
+   <news class="gamma" date="2021-02-15.">
+         Primitive arithmetics library.
+   </news>
    <news class="gamma" date="2020-12-08.">
          Specification is repackaged for publication.
    </news>