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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 05 Sep 2013 12:33:51 +0200 updated to jedit_build-20130905 which is based on jedit-5.1.0;
changeset
wenzelm [Thu, 05 Sep 2013 12:33:51 +0200] rev 53415
updated to jedit_build-20130905 which is based on jedit-5.1.0; added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;
Thu, 05 Sep 2013 18:05:03 +0200 explicit module names have precedence over identifier declarations
changeset
haftmann [Thu, 05 Sep 2013 18:05:03 +0200] rev 53414
explicit module names have precedence over identifier declarations
Thu, 05 Sep 2013 18:05:02 +0200 check explicit module names for conformity
changeset
haftmann [Thu, 05 Sep 2013 18:05:02 +0200] rev 53413
check explicit module names for conformity
Thu, 05 Sep 2013 11:10:51 +0200 list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
changeset
traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 53412
list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
Thu, 05 Sep 2013 01:58:48 +0200 support indirect corecursion
changeset
panny [Thu, 05 Sep 2013 01:58:48 +0200] rev 53411
support indirect corecursion
Wed, 04 Sep 2013 23:57:38 +0200 tuned proofs;
changeset
wenzelm [Wed, 04 Sep 2013 23:57:38 +0200] rev 53410
tuned proofs;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle