Diff of /thys/TLA/config [000000] .. [f01853] Maximize Restore

  Switch to side-by-side view

--- a
+++ b/thys/TLA/config
@@ -0,0 +1,9 @@
+# -*- shell-script -*-
+
+# Get email when automated build fails. May be empty.
+# values: "email1 email2 .. emailn"
+NOTIFY="ggrov@inf.ed.ac.uk"
+
+# Participate in frequent (nightly) build (only for small submissions)
+# values: "yes" "no"
+FREQUENT="yes"