isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sat, 13 Oct 2012 18:04:11 +0200 refined Proof.the_finished_goal with more informative error;

changeset

wenzelm [Sat, 13 Oct 2012 18:04:11 +0200] rev 49846

refined Proof.the_finished_goal with more informative error; more permissive Method.all_assm_tac: do not insist in solving by assumption here to postpone failure; clarified Method.finish_text: no Thm.no_prems filtering here to postpone failure;

Sat, 13 Oct 2012 16:19:16 +0200 tuned signature;

changeset

wenzelm [Sat, 13 Oct 2012 16:19:16 +0200] rev 49845

tuned signature;

Sat, 13 Oct 2012 00:08:36 +0200 improved adhoc height for small fonts;

changeset

wenzelm [Sat, 13 Oct 2012 00:08:36 +0200] rev 49844

improved adhoc height for small fonts;

Fri, 12 Oct 2012 23:38:48 +0200 further refinement of jEdit line range, avoiding lack of final \n;

changeset

wenzelm [Fri, 12 Oct 2012 23:38:48 +0200] rev 49843

further refinement of jEdit line range, avoiding lack of final \n;

Fri, 12 Oct 2012 22:53:20 +0200 more uniform tooltip color;

changeset

wenzelm [Fri, 12 Oct 2012 22:53:20 +0200] rev 49842

more uniform tooltip color;

Fri, 12 Oct 2012 22:10:45 +0200 more NEWS;

changeset

wenzelm [Fri, 12 Oct 2012 22:10:45 +0200] rev 49841

more NEWS;

Fri, 12 Oct 2012 21:51:25 +0200 merged

changeset

wenzelm [Fri, 12 Oct 2012 21:51:25 +0200] rev 49840

merged

Fri, 12 Oct 2012 15:52:55 +0200 disambiguated grammar

changeset

traytel [Fri, 12 Oct 2012 15:52:55 +0200] rev 49839

disambiguated grammar

Fri, 12 Oct 2012 15:52:45 +0200 tuned proofs

changeset

traytel [Fri, 12 Oct 2012 15:52:45 +0200] rev 49838

tuned proofs

Fri, 12 Oct 2012 14:57:56 +0200 tuned

changeset

nipkow [Fri, 12 Oct 2012 14:57:56 +0200] rev 49837

tuned

(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle

RSS Atom