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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 24 Jun 2022 23:11:59 +0200 prefer scalable Bytes.T;
changeset
wenzelm [Fri, 24 Jun 2022 23:11:59 +0200] rev 75614
prefer scalable Bytes.T;
Fri, 24 Jun 2022 11:20:14 +0200 unused;
changeset
wenzelm [Fri, 24 Jun 2022 11:20:14 +0200] rev 75613
unused;
Fri, 24 Jun 2022 10:55:23 +0200 prefer scalable Bytes.T;
changeset
wenzelm [Fri, 24 Jun 2022 10:55:23 +0200] rev 75612
prefer scalable Bytes.T;
Sat, 25 Jun 2022 06:34:11 +0200 missing recursive let-expansion in SMT translation
changeset
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Sat, 25 Jun 2022 06:34:11 +0200] rev 75611
missing recursive let-expansion in SMT translation
Fri, 24 Jun 2022 21:17:35 +0200 merged
changeset
desharna [Fri, 24 Jun 2022 21:17:35 +0200] rev 75610
merged
Fri, 24 Jun 2022 10:49:40 +0200 added lemma monotone_on_o
changeset
desharna [Fri, 24 Jun 2022 10:49:40 +0200] rev 75609
added lemma monotone_on_o
Fri, 24 Jun 2022 15:05:04 +0200 redefined mono_on and strict_mono_on as an abbreviation of monotone_on
changeset
desharna [Fri, 24 Jun 2022 15:05:04 +0200] rev 75608
redefined mono_on and strict_mono_on as an abbreviation of monotone_on
Thu, 23 Jun 2022 19:29:22 +0200 changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
changeset
desharna [Thu, 23 Jun 2022 19:29:22 +0200] rev 75607
changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
Thu, 23 Jun 2022 23:42:47 +0200 more robust CSV syntax, e.g. for "pull_date";
changeset
wenzelm [Thu, 23 Jun 2022 23:42:47 +0200] rev 75606
more robust CSV syntax, e.g. for "pull_date";
Thu, 23 Jun 2022 22:16:53 +0200 merged
changeset
wenzelm [Thu, 23 Jun 2022 22:16:53 +0200] rev 75605
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle