Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +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, 11 Mar 2005 16:56:48 +0100 minor Library.option related modifications
changeset
webertj [Fri, 11 Mar 2005 16:56:48 +0100] rev 15605
minor Library.option related modifications
Fri, 11 Mar 2005 16:35:06 +0100 code reformatted
changeset
webertj [Fri, 11 Mar 2005 16:35:06 +0100] rev 15604
code reformatted
Fri, 11 Mar 2005 16:08:21 +0100 code reformatted
changeset
webertj [Fri, 11 Mar 2005 16:08:21 +0100] rev 15603
code reformatted
Fri, 11 Mar 2005 00:45:07 +0100 fixed bug: domain package can now define three or more mutually recursive types simultaneously
changeset
huffman [Fri, 11 Mar 2005 00:45:07 +0100] rev 15602
fixed bug: domain package can now define three or more mutually recursive types simultaneously
Fri, 11 Mar 2005 00:43:52 +0100 domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
changeset
huffman [Fri, 11 Mar 2005 00:43:52 +0100] rev 15601
domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
Thu, 10 Mar 2005 20:22:45 +0100 fixed filename in header
changeset
huffman [Thu, 10 Mar 2005 20:22:45 +0100] rev 15600
fixed filename in header
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle