isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 tip

prefer explicit option "build_log_verbose";
10 months ago, by wenzelm
tuned whitespace;
10 months ago, by wenzelm
additional build_log column "session_start", with implicit upgrade of database schema;
10 months ago, by wenzelm
more robust build_start for master and workers (via database);
10 months ago, by wenzelm
more accurate progress.now(), notably for Database_Progress;
10 months ago, by wenzelm
update NEWS;
10 months ago, by wenzelm
activate E 3.0 after testing by Martin Desharnais, see also db72d9920186 and 788f11af9822;
10 months ago, by wenzelm
merged
10 months ago, by desharna
added lemmas reflclp_(less|greater)_eq[simp], rtranclp_(less|greater)_eq[simp], and tranclp_(less|greater|less_eq|greater_eq)[simp]
10 months ago, by desharna
parallelize schedule optimization;
10 months ago, by Fabian Huch
revised NEWS: OCaml / OPAM appears to be fine on arm64-linux, e.g. Ubuntu 22.04;
10 months ago, by wenzelm
update to current long-term-support version dotnet-8.0.x;
10 months ago, by wenzelm
merged
10 months ago, by wenzelm
proper release bundle_name (amending 0e7dd3eaa6e8);
10 months ago, by wenzelm
more multiset lemmas
10 months ago, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 tip

isabelle