isabelle: Changelog

wenzelm [Tue, 19 Sep 2006 23:15:34 +0200] rev 20625

removed duplicate arities;

wenzelm [Tue, 19 Sep 2006 23:15:32 +0200] rev 20624

sko/abs: Name.internal prevents choking of print_theory;

wenzelm [Tue, 19 Sep 2006 23:15:30 +0200] rev 20623

tuned method setup;

wenzelm [Tue, 19 Sep 2006 23:15:28 +0200] rev 20622

tuned proofs;

wenzelm [Tue, 19 Sep 2006 23:15:26 +0200] rev 20621

'print_theory': bang option for full verbosity;

wenzelm [Tue, 19 Sep 2006 23:15:24 +0200] rev 20620

* Pure: 'print_theory' now suppresses entities with internal name;

wenzelm [Tue, 19 Sep 2006 23:12:21 +0200] rev 20619

tuned;

wenzelm [Tue, 19 Sep 2006 23:01:52 +0200] rev 20618

simple html output;

wenzelm [Tue, 19 Sep 2006 22:04:38 +0200] rev 20617

timespan: 100 days;

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

superceded by isatest-statistics;

isabelle