comment

diff --git a/utils/testall b/utils/testall
index dc55ad1d700abf0d2ebee3bcb0d88cad211c17dd..baa8da8c2edb5cf80e194c929772ea41fa10cd9c 100755 (executable)
--- a/utils/testall
+++ b/utils/testall
@@ -1,3 +1,5 @@
+# Script for checking that all files compile
+
 files="binnat bool category circle collection csystem demo discor
        equiv groupoidTrunc hedberg helix hnat hz idtypes injective int
        integer interval list nat ordinal pi prelude propTrunc retract