From: Ferruccio Guidi Date: Thu, 8 Feb 2007 15:39:43 +0000 (+0000) Subject: developments fixup X-Git-Tag: make_still_working~6473 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3badd5b73076dda54a420e18af23823342701ccc;p=helm.git developments fixup --- diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile index abadf7bd8..285c55b99 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile +++ b/helm/software/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/helm/software/matita/contribs/developments.txt b/helm/software/matita/contribs/developments.txt index 503e8b7a2..8309258af 100644 --- a/helm/software/matita/contribs/developments.txt +++ b/helm/software/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/helm/software/matita/contribs/prova.ma b/helm/software/matita/contribs/prova.ma index a2012b12f..cab82e7df 100644 --- a/helm/software/matita/contribs/prova.ma +++ b/helm/software/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)".