wneuper/isa: Changelog

Mercurial Mercurial > wneuper > isa / changelog

Sun, 14 Oct 2012 19:16:32 +0200extending the setcomprehension_pointfree simproc to handle nesting disjunctions, conjunctions and negations (with contributions from Rafal Kolanski, NICTA); tuned

changeset

bulwahn [Sun, 14 Oct 2012 19:16:32 +0200] rev 50864

extending the setcomprehension_pointfree simproc to handle nesting disjunctions, conjunctions and negations (with contributions from Rafal Kolanski, NICTA); tuned

Sat, 13 Oct 2012 21:09:20 +0200more informative error of initial/terminal proof steps;

changeset

wenzelm [Sat, 13 Oct 2012 21:09:20 +0200] rev 50863

more informative error of initial/terminal proof steps;

Sat, 13 Oct 2012 19:53:04 +0200some attempts to unify/simplify pretty_goal;

changeset

wenzelm [Sat, 13 Oct 2012 19:53:04 +0200] rev 50862

some attempts to unify/simplify pretty_goal;

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

changeset

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

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 +0200tuned signature;

changeset

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

tuned signature;

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

changeset

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

improved adhoc height for small fonts;

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

changeset

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

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