From ab4bfc365d14ebb2a8ee6bb17e7f1f5b66af646c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 17:38:35 +0000 Subject: [PATCH] The tests are now in alphabetical order. --- helm/matita/tests/Makefile | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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 -- 2.39.2