isabelle: Admin/isatest-stats@8f2731bfe86f (annotated)

20613 8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	1	#!/usr/bin/env bash
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	2	#
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	3	# $Id$
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	4	# Author: Makarius
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	5	#
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	6	# DESCRIPTION: Standard statistics.
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	7
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	8	THIS=$(cd "$(dirname "$0")"; pwd -P)
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	9
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	10	"$THIS/isatest-statistics" stats/at-poly at-poly 100 \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	11	HOL \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	12	HOL-Algebra \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	13	HOL-Auth \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	14	HOL-Bali \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	15	HOL-Complex \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	16	HOL-Extraction \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	17	HOL-Hoare \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	18	HOL-HoareParallel \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	19	HOL-Lambda \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	20	HOL-MicroJava \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	21	HOL-NumberTheory \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	22	HOL-SET-Protocol \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	23	HOL-UNITY \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	24	HOL-ex \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	25	ZF \
8f2731bfe86f Standard statistics. wenzelm parents: diff changeset	26	ZF-Constructible

author	wenzelm
	Tue, 19 Sep 2006 21:49:09 +0200
changeset 20613	8f2731bfe86f
child 20615	0d71cc267e0d
permissions	-rwxr-xr-x