Admin/isatest-stats
changeset 20617 ca59894f70dc
parent 20615 0d71cc267e0d
child 20618 3f763be47c2f
     1.1 --- a/Admin/isatest-stats	Tue Sep 19 22:00:53 2006 +0200
     1.2 +++ b/Admin/isatest-stats	Tue Sep 19 22:04:38 2006 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  for PLATFORM in at-poly at-sml-dev
     1.6  do
     1.7 -  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 1000 \
     1.8 +  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 \
     1.9      HOL \
    1.10      HOL-Algebra \
    1.11      HOL-Auth \