From 2a8919be0dddc9e97584d4e7823da021eac60870 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 8 Feb 2007 15:39:43 +0000 Subject: [PATCH] developments fixup --- matita/contribs/LAMBDA-TYPES/Makefile | 2 +- matita/contribs/developments.txt | 6 +++--- matita/contribs/prova.ma | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) 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)". -- 2.39.2