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

tuned proof: avoid z3 to make it work on arm64-linux;
11 months ago, by wenzelm
update to jdk-21.0.2;
11 months ago, by wenzelm
make build process state protected to avoid copying in subclasses (e.g. for database connections);
11 months ago, by Fabian Huch
add build_sync tag to sync certain options (e.g., build_engine) across build processes;
11 months ago, by Fabian Huch
clarified Mercurial version: presumably the last version that supports both python2 and python3;
11 months ago, by wenzelm
more robust: avoid crash on non-Linux systems;
11 months ago, by wenzelm
clarified webserver names;
11 months ago, by wenzelm
proper Apache.php_name;
11 months ago, by wenzelm
proper packages for mercurial_setup on Ubuntu 22.04: building from source provides hgweb modules, and also provides a defined version (6.1.1 is also provided by Ubuntu 22.04);
11 months ago, by wenzelm
tuned source structure;
11 months ago, by wenzelm
more robust systemd configuration;
11 months ago, by wenzelm
more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";
11 months ago, by wenzelm
tuned whitespace in generated file;
11 months ago, by wenzelm
tuned;
11 months ago, by wenzelm

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

isabelle