- first working commit of the static component ..

[helm.git] / matita / matita / contribs / BTM / web / BTM.ldw.xml

diff --git a/matita/matita/contribs/BTM/web/BTM.ldw.xml b/matita/matita/contribs/BTM/web/BTM.ldw.xml
index 32ee158a1aa90e436126818e9ee628b1cb470c47..5971089e637d8855a2c10ec1da635ce153575a5c 100644 (file)
--- 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>