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.
Tue, 04 Jul 2006 19:49:57 +0200 removed parrot comment;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:57 +0200] rev 20006
removed parrot comment;
Tue, 04 Jul 2006 19:49:56 +0200 Proof by guessing.
changeset
wenzelm [Tue, 04 Jul 2006 19:49:56 +0200] rev 20005
Proof by guessing.
Tue, 04 Jul 2006 19:49:55 +0200 guess: proper context for polymorphic parameters;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:55 +0200] rev 20004
guess: proper context for polymorphic parameters; tuned;
Tue, 04 Jul 2006 19:49:54 +0200 polymorphic: always generalize wrt. used_types;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:54 +0200] rev 20003
polymorphic: always generalize wrt. used_types;
Tue, 04 Jul 2006 19:49:53 +0200 varifyT: no longer pervasive;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:53 +0200] rev 20002
varifyT: no longer pervasive;
Tue, 04 Jul 2006 19:49:52 +0200 added generalize/instantiate_option;
changeset
wenzelm [Tue, 04 Jul 2006 19:49:52 +0200] rev 20001
added generalize/instantiate_option;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle