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.
2022-06-24 clarified modules;
changeset
wenzelm [Fri, 24 Jun 2022 23:31:28 +0200] rev 75615
clarified modules;
2022-06-24 prefer scalable Bytes.T;
changeset
wenzelm [Fri, 24 Jun 2022 23:11:59 +0200] rev 75614
prefer scalable Bytes.T;
2022-06-24 unused;
changeset
wenzelm [Fri, 24 Jun 2022 11:20:14 +0200] rev 75613
unused;
2022-06-24 prefer scalable Bytes.T;
changeset
wenzelm [Fri, 24 Jun 2022 10:55:23 +0200] rev 75612
prefer scalable Bytes.T;
2022-06-25 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
2022-06-24 merged
changeset
desharna [Fri, 24 Jun 2022 21:17:35 +0200] rev 75610
merged
2022-06-24 added lemma monotone_on_o
changeset
desharna [Fri, 24 Jun 2022 10:49:40 +0200] rev 75609
added lemma monotone_on_o
2022-06-24 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
2022-06-23 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
2022-06-23 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";
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle