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 -14 +14 +100 +300 +1000 tip

official support for arm64-linux, despite a few missing tools;
10 months ago, by wenzelm
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
10 months ago, by wenzelm
proper platform_name/platform_dir for native arm64-darwin: already published in 788f11af9822 after manual adjustment;
10 months ago, by wenzelm
update to scala-3.3.3;
10 months ago, by wenzelm
provide e-3.0.03 on all platforms, including arm64-linux and arm64-darwin --- still inactive;
10 months ago, by wenzelm
update NEWS, following 0d7c7fe65638;
10 months ago, by Fabian Huch
provide cvc5-1.1.1 for testing --- still inactive;
10 months ago, by wenzelm
rebuild bash_process executables on current reference platforms, including native arm64-darwin;
10 months ago, by wenzelm
tuned NEWS, see also c62003e05e46;
10 months ago, by wenzelm
update NEWS, following ea1913c953ef;
10 months ago, by wenzelm
tuned whitespace according to jEdit mode parameters ":wrap=hard:maxLineLen=72:";
10 months ago, by wenzelm
more explicit NEWS (see 3648e9c88d0c);
10 months ago, by wenzelm
NEWS for a53287d9add3, 3e30ca77ccfe;
10 months ago, by wenzelm
add option for unify trace (now disabled by default as printing is excessive and rarely used);
10 months ago, by Fabian Huch

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

isabelle