Merge branch 'master' of ssh://matita.cs.unibo.it:/srv/git/helm

[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 10ede27258bcc10c95df437733eb2b74b867db71..5200f8d56d9c7bbb187aa2eec71411a7786f6787 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -14,6 +14,13 @@
    </body>
    <table name="ground_sum"/>
 
+   <news class="gamma" date="2021-05-29.">
+         Generic relocation maps are streams of booleans
+         (delayed anniversary milestone).
+   </news>
+   <news class="gamma" date="2021-02-15.">
+         Primitive arithmetics library.
+   </news>
    <news class="gamma" date="2020-12-08.">
          Specification is repackaged for publication.
    </news>