isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 26 Mar 2011 21:45:29 +0100 present theory content as future, depending on intermediate proof state futures -- potential to reduce memory requirements and improve parallelization;

changeset

wenzelm [Sat, 26 Mar 2011 21:45:29 +0100] rev 42129

present theory content as future, depending on intermediate proof state futures -- potential to reduce memory requirements and improve parallelization;

Sat, 26 Mar 2011 21:28:04 +0100 added Future.cond_forks convenience;

changeset

wenzelm [Sat, 26 Mar 2011 21:28:04 +0100] rev 42128

added Future.cond_forks convenience;

Sat, 26 Mar 2011 18:31:39 +0100 Isabelle_System.create_tmp_path/with_tmp_file: optional extension;

changeset

wenzelm [Sat, 26 Mar 2011 18:31:39 +0100] rev 42127

Isabelle_System.create_tmp_path/with_tmp_file: optional extension; thread-safe versions of Present.display_graph, Present.isabelle_browser, Present.drafts -- using Isabelle_System.with_tmp_dir;

Sat, 26 Mar 2011 19:16:30 +0100 tuned;

changeset

wenzelm [Sat, 26 Mar 2011 19:16:30 +0100] rev 42126

tuned;

Sat, 26 Mar 2011 19:16:20 +0100 more direct loose_bvar1;

changeset

wenzelm [Sat, 26 Mar 2011 19:16:20 +0100] rev 42125

more direct loose_bvar1; tuned; slight re-unification of clone (cf. 47f8bfe0f597);

Sat, 26 Mar 2011 16:21:41 +0100 suppress Mercurial backup files;

changeset

wenzelm [Sat, 26 Mar 2011 16:21:41 +0100] rev 42124

suppress Mercurial backup files; uniform treatment of tool filtering in bash/perl/scala;