X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2FBTM%2Fweb%2FBTM.ldw.xml;h=5971089e637d8855a2c10ec1da635ce153575a5c;hb=ede00573e3e4cb28df7ca9a5dae6228c2b432608;hp=32ee158a1aa90e436126818e9ee628b1cb470c47;hpb=8ff4315142253a1a0478b67c07dddf70c36f50cd;p=helm.git

diff --git a/matita/matita/contribs/BTM/web/BTM.ldw.xml b/matita/matita/contribs/BTM/web/BTM.ldw.xml
index 32ee158a1..5971089e6 100644
--- a/matita/matita/contribs/BTM/web/BTM.ldw.xml
+++ b/matita/matita/contribs/BTM/web/BTM.ldw.xml
@@ -3,6 +3,7 @@
 <page xmlns="http://lambdadelta.info/"
       description = "BTM"
       title = "BTM"
+      logo = "crux"
       head = "cic:/matita/BTM/"
 >
    <section>Character classes</section>