changeset 20617 | ca59894f70dc |
parent 20615 | 0d71cc267e0d |
child 20618 | 3f763be47c2f |
--- 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 \