Unified: refactoring

[helm.git] / helm / software / matita / contribs / developments.txt

diff --git a/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt
index 4d50449410f45fdd805fa9525b4b630ea2d1e6a1..503e8b7a2d342d6de1148aebb02dd7c16ebd41ca 100644 (file)
--- a/helm/software/matita/contribs/developments.txt
+++ b/helm/software/matita/contribs/developments.txt
@@ -4,7 +4,6 @@ software/matita/legacy
 software/matita/library
 software/matita/tests
 software/matita/dama
-software/matita/contribs/CoRN
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
 software/matita/contribs/LAMBDA-TYPES/Unified