isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Fri, 18 Jan 2013 20:31:22 +0100 merged

changeset

wenzelm [Fri, 18 Jan 2013 20:31:22 +0100] rev 50979

merged

Fri, 18 Jan 2013 20:24:51 +0100 more uniform permissions;

changeset

wenzelm [Fri, 18 Jan 2013 20:24:51 +0100] rev 50978

more uniform permissions;

Fri, 18 Jan 2013 20:16:47 +0100 more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes;

changeset

wenzelm [Fri, 18 Jan 2013 20:16:47 +0100] rev 50977

more generous C stack size as in Linux and Mac OS X, to reduce chance of Cygwin-specific crashes; more generous initial C heap within VM; proper executable;

Fri, 18 Jan 2013 18:46:52 +0100 tuned proof -- much faster;

changeset

wenzelm [Fri, 18 Jan 2013 18:46:52 +0100] rev 50976

tuned proof -- much faster;

Fri, 18 Jan 2013 17:51:50 +0100 more systematic task statistics;

changeset

wenzelm [Fri, 18 Jan 2013 17:51:50 +0100] rev 50975

more systematic task statistics;

Fri, 18 Jan 2013 16:20:09 +0100 added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread);

changeset

wenzelm [Fri, 18 Jan 2013 16:20:09 +0100] rev 50974

added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread);

Fri, 18 Jan 2013 20:01:59 +0100 generalized diameter from real_normed_vector to metric_space

changeset

hoelzl [Fri, 18 Jan 2013 20:01:59 +0100] rev 50973

generalized diameter from real_normed_vector to metric_space

Fri, 18 Jan 2013 20:01:41 +0100 tuned proof

changeset

hoelzl [Fri, 18 Jan 2013 20:01:41 +0100] rev 50972

tuned proof

Fri, 18 Jan 2013 20:00:59 +0100 tune prove compact_eq_totally_bounded

changeset

hoelzl [Fri, 18 Jan 2013 20:00:59 +0100] rev 50971

tune prove compact_eq_totally_bounded