Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 18 Dec 2013 17:26:31 +0100 changed pirate port
changeset
blanchet [Wed, 18 Dec 2013 17:26:31 +0100] rev 54804
changed pirate port
Wed, 18 Dec 2013 17:00:14 +0100 fixed variable confusion introduced by 'tuning' change 565f9af86d67
changeset
blanchet [Wed, 18 Dec 2013 17:00:14 +0100] rev 54803
fixed variable confusion introduced by 'tuning' change 565f9af86d67
Wed, 18 Dec 2013 16:50:14 +0100 made SML/NJ happier
changeset
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54802
made SML/NJ happier
Wed, 18 Dec 2013 16:50:14 +0100 try 'auto' first -- more likely to succeed
changeset
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54801
try 'auto' first -- more likely to succeed
Wed, 18 Dec 2013 16:50:14 +0100 new port
changeset
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54800
new port
Wed, 18 Dec 2013 16:50:14 +0100 tuning
changeset
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54799
tuning
Wed, 18 Dec 2013 16:50:14 +0100 generate type classes for tfrees
changeset
blanchet [Wed, 18 Dec 2013 16:50:14 +0100] rev 54798
generate type classes for tfrees
Wed, 18 Dec 2013 11:53:40 +0100 modernized ContNotDenum: use Set_Interval, and finite intersection property to show the nested interval property
changeset
hoelzl [Wed, 18 Dec 2013 11:53:40 +0100] rev 54797
modernized ContNotDenum: use Set_Interval, and finite intersection property to show the nested interval property
Tue, 17 Dec 2013 22:34:26 +0100 avoid clashes of fact names
changeset
haftmann [Tue, 17 Dec 2013 22:34:26 +0100] rev 54796
avoid clashes of fact names
Tue, 17 Dec 2013 20:21:22 +0100 initalize locale with idents from background theory rather than empty idents: must treat idents and registrations synchronously to provide consistent setup for interpretation in locale contexts
changeset
haftmann [Tue, 17 Dec 2013 20:21:22 +0100] rev 54795
initalize locale with idents from background theory rather than empty idents: must treat idents and registrations synchronously to provide consistent setup for interpretation in locale contexts
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle