From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Thu, 8 Feb 2007 15:39:43 +0000 (+0000)
Subject: developments fixup
X-Git-Tag: 0.4.95@7852~614
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2a8919be0dddc9e97584d4e7823da021eac60870;p=helm.git

developments fixup
---

diff --git a/matita/contribs/LAMBDA-TYPES/Makefile b/matita/contribs/LAMBDA-TYPES/Makefile
index abadf7bd8..285c55b99 100644
--- a/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/matita/contribs/LAMBDA-TYPES/Makefile
@@ -1,6 +1,6 @@
 GOALS = all opt clean clean.opt
 
-DEVELS = Base-1 LambdaDelta-1 Unified
+DEVELS = Base-1 LambdaDelta-1 Unified-Sub
 
 $(GOALS): 
 	@$(foreach DEVEL, $(DEVELS), $(MAKE) -C $(DEVEL) $@;) 
diff --git a/matita/contribs/developments.txt b/matita/contribs/developments.txt
index 503e8b7a2..8309258af 100644
--- a/matita/contribs/developments.txt
+++ b/matita/contribs/developments.txt
@@ -6,6 +6,6 @@ software/matita/tests
 software/matita/dama
 software/matita/contribs/PREDICATIVE-TOPOLOGY
 software/matita/contribs/RELATIONAL
-software/matita/contribs/LAMBDA-TYPES/Unified
-software/matita/contribs/LAMBDA-TYPES/Level-1/Base
-software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta
+software/matita/contribs/LAMBDA-TYPES/Unified-Sub
+software/matita/contribs/LAMBDA-TYPES/Base-1
+software/matita/contribs/LAMBDA-TYPES/LambdaDelta-1
diff --git a/matita/contribs/prova.ma b/matita/contribs/prova.ma
index a2012b12f..cab82e7df 100644
--- a/matita/contribs/prova.ma
+++ b/matita/contribs/prova.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/test/prova".
 
-include "../contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma".
+include "LAMBDA-TYPES/LambdaDelta-1/preamble.ma".
 
 alias id "Abst" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs/B.ind#xpointer(1/1/2)".
 alias id "Abbr" = "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs/B.ind#xpointer(1/1/1)".