Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +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.
Tue, 02 Jun 2009 10:32:19 -0700 new lemmas
changeset
huffman [Tue, 02 Jun 2009 10:32:19 -0700] rev 31389
new lemmas
Mon, 01 Jun 2009 16:59:56 -0700 limits of Pair using filters
changeset
huffman [Mon, 01 Jun 2009 16:59:56 -0700] rev 31388
limits of Pair using filters
Wed, 03 Jun 2009 11:33:16 +0200 Removed usage of reference in reification
changeset
hoelzl [Wed, 03 Jun 2009 11:33:16 +0200] rev 31387
Removed usage of reference in reification
Tue, 02 Jun 2009 18:38:13 +0200 corrected spacing in reflection
changeset
hoelzl [Tue, 02 Jun 2009 18:38:13 +0200] rev 31386
corrected spacing in reflection
Wed, 03 Jun 2009 07:51:11 +1000 switch at-sml-dev-e back to full test on macbroy23
changeset
kleing [Wed, 03 Jun 2009 07:51:11 +1000] rev 31385
switch at-sml-dev-e back to full test on macbroy23
Tue, 02 Jun 2009 23:30:45 +0200 IsabelleProcess: emit status "ready" after initialization and reports;
changeset
wenzelm [Tue, 02 Jun 2009 23:30:45 +0200] rev 31384
IsabelleProcess: emit status "ready" after initialization and reports;
Tue, 02 Jun 2009 21:13:47 +0200 moved restrict_map_insert to theory Map
changeset
haftmann [Tue, 02 Jun 2009 21:13:47 +0200] rev 31383
moved restrict_map_insert to theory Map
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle