Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 07 Dec 2012 23:11:01 +0100 final report_status within SYNCHRONIZED part of scheduler loop: required for sanity of data;
changeset
wenzelm [Fri, 07 Dec 2012 23:11:01 +0100] rev 50429
final report_status within SYNCHRONIZED part of scheduler loop: required for sanity of data;
Fri, 07 Dec 2012 20:39:09 +0100 adhoc recovery from spurious NPEs, similar quantum-effect behind 7c8ce63a3c00;
changeset
wenzelm [Fri, 07 Dec 2012 20:39:09 +0100] rev 50428
adhoc recovery from spurious NPEs, similar quantum-effect behind 7c8ce63a3c00;
Fri, 07 Dec 2012 18:20:33 +0100 obsolete;
changeset
wenzelm [Fri, 07 Dec 2012 18:20:33 +0100] rev 50427
obsolete;
Fri, 07 Dec 2012 18:05:24 +0100 eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
changeset
wenzelm [Fri, 07 Dec 2012 18:05:24 +0100] rev 50426
eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005); \usepackage{proof} only where required;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle