isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 27 Jun 2013 10:08:41 +0200 more scalable PARALLEL_GOALS, using more elementary retrofit;

changeset

wenzelm [Thu, 27 Jun 2013 10:08:41 +0200] rev 52461

more scalable PARALLEL_GOALS, using more elementary retrofit; tuned signature;

Thu, 27 Jun 2013 10:11:11 +0200 tuned

changeset

nipkow [Thu, 27 Jun 2013 10:11:11 +0200] rev 52460

tuned

Wed, 26 Jun 2013 22:18:06 +0200 merged

changeset

wenzelm [Wed, 26 Jun 2013 22:18:06 +0200] rev 52459

merged

Wed, 26 Jun 2013 21:48:23 +0200 less intrusive SELECT_GOAL: merely rearrange subgoals without detaching goal state, and thus preserve maxidx context;

changeset

wenzelm [Wed, 26 Jun 2013 21:48:23 +0200] rev 52458

less intrusive SELECT_GOAL: merely rearrange subgoals without detaching goal state, and thus preserve maxidx context; even less intrusive PREFER_GOAL (without structural goal marker), e.g. relevant for generic_simp_tac; adapted ZF proof that broke for unknown reasons (potentially slight change of Drule.size_of_thm);

Wed, 26 Jun 2013 18:38:03 +0200 SOMEthing went utterly wrong;

changeset

wenzelm [Wed, 26 Jun 2013 18:38:03 +0200] rev 52457

SOMEthing went utterly wrong;

Wed, 26 Jun 2013 11:54:45 +0200 tuned signature;

changeset

wenzelm [Wed, 26 Jun 2013 11:54:45 +0200] rev 52456

tuned signature;

Wed, 26 Jun 2013 09:58:39 +0200 more position information for markup;

changeset

wenzelm [Wed, 26 Jun 2013 09:58:39 +0200] rev 52455

more position information for markup;