X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fweb%2Fground.ldw.xml;h=5200f8d56d9c7bbb187aa2eec71411a7786f6787;hb=55c768d7e45babb300b5010463ba3196a68f1bbe;hp=bc55626b7c8e246baa4754026b882f113ff69c00;hpb=15212e44902f25536f6e2de4bec4cedcd9a9804d;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 bc55626b7..5200f8d56 100644
--- a/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
+++ b/matita/matita/contribs/lambdadelta/ground/web/ground.ldw.xml
@@ -14,6 +14,10 @@
    </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>