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.
Sat, 25 Jun 2022 10:05:36 +0200 tuned whitespace;
changeset
wenzelm [Sat, 25 Jun 2022 10:05:36 +0200] rev 75617
tuned whitespace;
Fri, 24 Jun 2022 23:38:41 +0200 clarified signature: File.read_lines is based on scalable Bytes.T;
changeset
wenzelm [Fri, 24 Jun 2022 23:38:41 +0200] rev 75616
clarified signature: File.read_lines is based on scalable Bytes.T; discontinued somewhat pointless File.fold_lines;
Fri, 24 Jun 2022 23:31:28 +0200 clarified modules;
changeset
wenzelm [Fri, 24 Jun 2022 23:31:28 +0200] rev 75615
clarified modules;
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle