Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 31 Oct 2006 09:29:11 +0100 cleanup
changeset
haftmann [Tue, 31 Oct 2006 09:29:11 +0100] rev 21118
cleanup
Tue, 31 Oct 2006 09:29:08 +0100 *** empty log message ***
changeset
haftmann [Tue, 31 Oct 2006 09:29:08 +0100] rev 21117
*** empty log message ***
Tue, 31 Oct 2006 09:29:06 +0100 fixed type signature of Type.varify
changeset
haftmann [Tue, 31 Oct 2006 09:29:06 +0100] rev 21116
fixed type signature of Type.varify
Tue, 31 Oct 2006 09:29:01 +0100 dropped junk
changeset
haftmann [Tue, 31 Oct 2006 09:29:01 +0100] rev 21115
dropped junk
Tue, 31 Oct 2006 09:28:57 +0100 disabled some code generation (an intermeidate solution)
changeset
haftmann [Tue, 31 Oct 2006 09:28:57 +0100] rev 21114
disabled some code generation (an intermeidate solution)
Tue, 31 Oct 2006 09:28:56 +0100 adapted to new serializer syntax
changeset
haftmann [Tue, 31 Oct 2006 09:28:56 +0100] rev 21113
adapted to new serializer syntax
Tue, 31 Oct 2006 09:28:55 +0100 added Equals_conv
changeset
haftmann [Tue, 31 Oct 2006 09:28:55 +0100] rev 21112
added Equals_conv
Tue, 31 Oct 2006 09:28:54 +0100 cleaned up
changeset
haftmann [Tue, 31 Oct 2006 09:28:54 +0100] rev 21111
cleaned up
Tue, 31 Oct 2006 09:28:53 +0100 adaptions to changes in preprocessor
changeset
haftmann [Tue, 31 Oct 2006 09:28:53 +0100] rev 21110
adaptions to changes in preprocessor
Tue, 31 Oct 2006 09:28:52 +0100 dropped nth_update
changeset
haftmann [Tue, 31 Oct 2006 09:28:52 +0100] rev 21109
dropped nth_update
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle