From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 17:38:35 +0000 (+0000)
Subject: The tests are now in alphabetical order.
X-Git-Tag: PRE_GETTER_STORAGE~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ab4bfc365d14ebb2a8ee6bb17e7f1f5b66af646c;p=helm.git

The tests are now in alphabetical order.
---

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 91aecea52..7eee097ed 100644
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -1,8 +1,8 @@
-SRC=\
-	apply.ma fguidi.ma letrec.ma replace.ma test3.ma auto.ma first.ma\
-        rewrite.ma test4.ma baseuri.ma fix_betareduction.ma\
-        match_inference.ma second.ma third.ma coercions.ma fold.ma\
-        mysql_escaping.ma simpl.ma comments.ma inversion.ma record.ma test2.ma
+SRC= apply.ma auto.ma baseuri.ma coercions.ma comments.ma first.ma fguidi.ma\
+     fix_betareduction.ma fold.ma inversion.ma letrec.ma match_inference.ma\
+     mysql_escaping.ma record.ma replace.ma rewrite.ma second.ma simpl.ma\
+     test2.ma test3.ma test4.ma third.ma
+
 
 MATITAC=../scripts/do_tests.sh ../matitac ../matitaclean /dev/null
 MATITACOPT=../scripts/do_tests.sh ../matitac.opt ../matitaclean.opt /dev/null