Admin/isatest-stats
changeset 20613 8f2731bfe86f
child 20615 0d71cc267e0d
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/isatest-stats	Tue Sep 19 21:49:09 2006 +0200
     1.3 @@ -0,0 +1,26 @@
     1.4 +#!/usr/bin/env bash
     1.5 +#
     1.6 +# $Id$
     1.7 +# Author: Makarius
     1.8 +#
     1.9 +# DESCRIPTION: Standard statistics.
    1.10 +
    1.11 +THIS=$(cd "$(dirname "$0")"; pwd -P)
    1.12 +
    1.13 +"$THIS/isatest-statistics" stats/at-poly at-poly 100 \
    1.14 +  HOL \
    1.15 +  HOL-Algebra \
    1.16 +  HOL-Auth \
    1.17 +  HOL-Bali \
    1.18 +  HOL-Complex \
    1.19 +  HOL-Extraction \
    1.20 +  HOL-Hoare \
    1.21 +  HOL-HoareParallel \
    1.22 +  HOL-Lambda \
    1.23 +  HOL-MicroJava \
    1.24 +  HOL-NumberTheory \
    1.25 +  HOL-SET-Protocol \
    1.26 +  HOL-UNITY \
    1.27 +  HOL-ex \
    1.28 +  ZF \
    1.29 +  ZF-Constructible