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.
Fri, 27 Mar 2015 09:56:34 +0100 sort BNFs in output
changeset
blanchet [Fri, 27 Mar 2015 09:56:34 +0100] rev 59822
sort BNFs in output
Fri, 27 Mar 2015 09:52:57 +0100 preserve order of type arguments in pre-FP BNF typedef
changeset
blanchet [Fri, 27 Mar 2015 09:52:57 +0100] rev 59821
preserve order of type arguments in pre-FP BNF typedef
Thu, 26 Mar 2015 23:23:04 +0100 register pre-fixpoint BNFs in database to enable lookup later (e.g. in 'corec')
changeset
blanchet [Thu, 26 Mar 2015 23:23:04 +0100] rev 59820
register pre-fixpoint BNFs in database to enable lookup later (e.g. in 'corec')
Thu, 26 Mar 2015 17:10:24 +0100 store low-level (un)fold constants
changeset
blanchet [Thu, 26 Mar 2015 17:10:24 +0100] rev 59819
store low-level (un)fold constants
Thu, 26 Mar 2015 16:42:42 +0100 export more functions
changeset
blanchet [Thu, 26 Mar 2015 16:42:42 +0100] rev 59818
export more functions
Thu, 26 Mar 2015 12:00:32 +0100 restored broken metis proof
changeset
haftmann [Thu, 26 Mar 2015 12:00:32 +0100] rev 59817
restored broken metis proof
Mon, 23 Mar 2015 19:05:14 +0100 distributivity of partial minus establishes desired properties of dvd in semirings
changeset
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59816
distributivity of partial minus establishes desired properties of dvd in semirings
Mon, 23 Mar 2015 19:05:14 +0100 explicit commutative additive inverse operation;
changeset
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59815
explicit commutative additive inverse operation; more explicit focal point for commutative monoids with an inverse operation
Mon, 23 Mar 2015 19:05:14 +0100 modernized
changeset
haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59814
modernized
Wed, 25 Mar 2015 17:51:34 +0100 more multiset theorems
changeset
blanchet [Wed, 25 Mar 2015 17:51:34 +0100] rev 59813
more multiset theorems
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle