isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip

Fri, 14 Dec 2012 20:05:08 +0100 more subgoal markup information, which is potentially useful to manage proof state output;

wenzelm [Fri, 14 Dec 2012 20:05:08 +0100] rev 50537

more subgoal markup information, which is potentially useful to manage proof state output;

Fri, 14 Dec 2012 18:41:56 +0100 merged

nipkow [Fri, 14 Dec 2012 18:41:56 +0100] rev 50536

merged

Fri, 14 Dec 2012 18:41:45 +0100 contribution by A. Colgio

nipkow [Fri, 14 Dec 2012 18:41:45 +0100] rev 50535

contribution by A. Colgio

Fri, 14 Dec 2012 16:46:39 +0100 merged

nipkow [Fri, 14 Dec 2012 16:46:39 +0100] rev 50534

merged

Thu, 13 Dec 2012 12:48:45 +0100 renamed "emb" to "list_hembeq"; make "list_hembeq" reflexive independent of the base order; renamed "sub" to "sublisteq"; dropped "transp_on" (state transitivity explicitly instead); no need to hide "sub" after renaming; replaced some ASCII symbols by proper Isabelle symbols; NEWS

nipkow [Thu, 13 Dec 2012 12:48:45 +0100] rev 50533

renamed "emb" to "list_hembeq"; make "list_hembeq" reflexive independent of the base order; renamed "sub" to "sublisteq"; dropped "transp_on" (state transitivity explicitly instead); no need to hide "sub" after renaming; replaced some ASCII symbols by proper Isabelle symbols; NEWS

Fri, 14 Dec 2012 17:01:38 +0100 actually request heap image in initial up-to-date check;

wenzelm [Fri, 14 Dec 2012 17:01:38 +0100] rev 50532

actually request heap image in initial up-to-date check;

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

isabelle