From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Sep 2005 12:21:41 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_1_2_1~77
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e790d1d45f9b4dd4855918cde1a0b381c9a7e839;p=helm.git

...
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index ff24f9395..8714fafe1 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -164,11 +164,11 @@ distclean: clean
 tests: matitac matitadep matitaclean
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
-	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
+	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac ../../matitaclean /dev/null" clean all)
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
-	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
+	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../../matitac.opt ../../matitaclean.opt /dev/null" clean.opt opt)
 cleantests: matitaclean
 	@(cd library && make clean)
 	@(cd tests && make clean)
diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index d31ac70b8..ec623f7e5 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -88,6 +88,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - nuovo pretty-printer testuale: non stampa usando la notazione
+    (e.g. guardare output di matitac)
   - matitaclean (e famiglia) non cancellano le directory vuote
     (e per giunta il cicbrowser le mostra :-)
   - codice di inizializzazione di matita, matitac, matitatop replicato e non