From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 21 Oct 2016 18:21:40 +0000 (-0400)
Subject: comment
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=35e8c8848ff520576d522cefa20dee220521e883;p=cubicaltt.git

comment
---

diff --git a/utils/testall b/utils/testall
index dc55ad1..baa8da8 100755
--- 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