Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 21 Jun 2023 15:41:18 +0200 proper clean_entry;
changeset
wenzelm [Wed, 21 Jun 2023 15:41:18 +0200] rev 78190
proper clean_entry;
Wed, 21 Jun 2023 15:31:18 +0200 afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
changeset
wenzelm [Wed, 21 Jun 2023 15:31:18 +0200] rev 78189
afford larger build_database_slice for better compression (HOL: 1 slice, HOL-Proofs: multiple slices for testing);
Wed, 21 Jun 2023 15:20:58 +0200 prefer system option;
changeset
wenzelm [Wed, 21 Jun 2023 15:20:58 +0200] rev 78188
prefer system option;
Wed, 21 Jun 2023 14:27:51 +0200 clarified signature: more explicit class SQL.Data;
changeset
wenzelm [Wed, 21 Jun 2023 14:27:51 +0200] rev 78187
clarified signature: more explicit class SQL.Data;
Wed, 21 Jun 2023 11:42:11 +0200 proper ML_Heap.clean_entry;
changeset
wenzelm [Wed, 21 Jun 2023 11:42:11 +0200] rev 78186
proper ML_Heap.clean_entry;
Wed, 21 Jun 2023 11:15:04 +0200 tuned signature;
changeset
wenzelm [Wed, 21 Jun 2023 11:15:04 +0200] rev 78185
tuned signature;
Wed, 21 Jun 2023 11:05:20 +0200 tuned;
changeset
wenzelm [Wed, 21 Jun 2023 11:05:20 +0200] rev 78184
tuned;
Tue, 20 Jun 2023 22:57:34 +0200 store heaps within database server;
changeset
wenzelm [Tue, 20 Jun 2023 22:57:34 +0200] rev 78183
store heaps within database server;
Tue, 20 Jun 2023 18:23:17 +0200 tuned signature;
changeset
wenzelm [Tue, 20 Jun 2023 18:23:17 +0200] rev 78182
tuned signature;
Tue, 20 Jun 2023 16:48:47 +0200 clarified modules;
changeset
wenzelm [Tue, 20 Jun 2023 16:48:47 +0200] rev 78181
clarified modules;
Tue, 20 Jun 2023 16:39:13 +0200 tuned signature;
changeset
wenzelm [Tue, 20 Jun 2023 16:39:13 +0200] rev 78180
tuned signature;
Tue, 20 Jun 2023 15:00:45 +0200 clarified modules;
changeset
wenzelm [Tue, 20 Jun 2023 15:00:45 +0200] rev 78179
clarified modules;
Tue, 20 Jun 2023 14:25:06 +0200 clarified modules;
changeset
wenzelm [Tue, 20 Jun 2023 14:25:06 +0200] rev 78178
clarified modules;
Mon, 19 Jun 2023 22:28:09 +0200 early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
changeset
Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Mon, 19 Jun 2023 22:28:09 +0200] rev 78177
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
Sat, 17 Jun 2023 17:41:02 +0200 merged
changeset
wenzelm [Sat, 17 Jun 2023 17:41:02 +0200] rev 78176
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip
isabelle