# HG changeset patch
# User wenzelm
# Date 1158696278 -7200
# Node ID ca59894f70dca9f845384efb57c514782fd990ba
# Parent  b36a4e843d0e5dcd6d1a1b54db35b2b1ef8293ee
timespan: 100 days;

diff -r b36a4e843d0e -r ca59894f70dc Admin/isatest-stats
--- a/Admin/isatest-stats	Tue Sep 19 22:00:53 2006 +0200
+++ b/Admin/isatest-stats	Tue Sep 19 22:04:38 2006 +0200
@@ -9,7 +9,7 @@
 
 for PLATFORM in at-poly at-sml-dev
 do
-  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 1000 \
+  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 \
     HOL \
     HOL-Algebra \
     HOL-Auth \