X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcontribs%2Fdevelopments.txt;h=f7e03520b498611ea1e049e6a62f5a3657b54356;hb=e016b4d32f05113a882e83a9fc8319751224c975;hp=ff8bf2c365140776e69eb695673a65f2c7171154;hpb=ef3fcb64ec5eca518af3053b7f1c94c1aaeb20c4;p=helm.git

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index ff8bf2c36..f7e03520b 100644
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -7,6 +7,7 @@ software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
+software/matita/contribs/LOGIC
 software/matita/contribs/LAMBDA-TYPES/Unified-Sub
 software/matita/contribs/LAMBDA-TYPES/Base-1
 software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1