branch for universe

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

diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
new file mode 100644 (file)
index 0000000..f7e0352
--- /dev/null
+++ b/matita/contribs/developments.txt
@@ -0,0 +1,14 @@
+Root directories of current matita developments 
+
+software/matita/legacy
+software/matita/library
+software/matita/library_auto
+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
+software/matita/contribs/LAMBDA-TYPES/Base-2