isabelle: Changelog

wenzelm [Tue, 19 Sep 2006 22:00:53 +0200] rev 20616

superceded by isatest-statistics;

wenzelm [Tue, 19 Sep 2006 22:00:32 +0200] rev 20615

tuned;

wenzelm [Tue, 19 Sep 2006 21:49:38 +0200] rev 20614

target dir; proper time formats;

wenzelm [Tue, 19 Sep 2006 21:49:09 +0200] rev 20613

Standard statistics.

wenzelm [Tue, 19 Sep 2006 20:58:05 +0200] rev 20612

time: include year;

wenzelm [Tue, 19 Sep 2006 20:53:42 +0200] rev 20611

Produce statistics from isatest session logs.

wenzelm [Tue, 19 Sep 2006 18:18:11 +0200] rev 20610

moved Import/susp.ML to Pure/General;

obua [Tue, 19 Sep 2006 18:13:10 +0200] rev 20609

renamed axclass_xxxx axclasses

haftmann [Tue, 19 Sep 2006 15:44:04 +0200] rev 20608

removed diagnostic messages

haftmann [Tue, 19 Sep 2006 15:31:32 +0200] rev 20607

Operational Equality

isabelle