The tests are now in alphabetical order.

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 91aecea524977bcea92ca38513c4a982959417ed..7eee097ed2b608e85db1ed112674dd311d7e2e6f 100644 (file)
--- 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