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

proper target option, following package binutils-mingw-w64-x86-64 from Debian/Ubuntu;
11 months ago, by wenzelm
updated windows_app based on launch4j-3.50-linux-x64, without rebuilding GNU binutils (missing COFF target pe-i386);
11 months ago, by wenzelm
proper sfx_archive_name;
11 months ago, by wenzelm
clarified options;
11 months ago, by wenzelm
more robust;
11 months ago, by wenzelm
build Isabelle windows_app component from GNU binutils and launch4j;
11 months ago, by wenzelm
proper windows_app/launch4j-linux_arm;
11 months ago, by wenzelm
merged
11 months ago, by paulson
A small number of new lemmas
11 months ago, by paulson
explicit reference to code_dt
11 months ago, by haftmann
made lift_bnf more robust for abstract types with 'phantom' type variables
11 months ago, by traytel
rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
11 months ago, by wenzelm
proper os_name "linux" instead of "linux_arm" (amending a33a6e541cbb);
11 months ago, by wenzelm
proper bash syntax (amending 0631dfc0db07);
11 months ago, by wenzelm
tuned proof: avoid z3;
11 months ago, by wenzelm
tuned proof: avoid z3 to make it work on arm64-linux;
11 months ago, by wenzelm
tuned proofs --- avoid smt with external prover, which is somewhat unstable on arm64-linux;
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
11 months ago, by wenzelm
strengthened class parity
11 months ago, by haftmann
proper accessible paths for web server;
11 months ago, by wenzelm
more informative message (amending b8a6b2ec85a2);
11 months ago, by wenzelm
merged
11 months ago, by wenzelm
more robust: do not affect "$ISABELLE_HOME_USER/contrib" on master node;
11 months ago, by wenzelm
avoid excessive ML heap on this 16GB node;
11 months ago, by wenzelm
more robust (amending c9774306a879);
11 months ago, by wenzelm
proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings;
11 months ago, by wenzelm
clarified symbolic host name;
11 months ago, by wenzelm
allow remote_build on this host (server-arm), without conflicts of this "isabelle_self";
11 months ago, by wenzelm
more robust message;
11 months ago, by wenzelm
A few more new theorems taken from AFP entries
11 months ago, by paulson
merged
11 months ago, by nipkow
define_time_function: avoid unused let's
11 months ago, by nipkow
common type class for trivial properties on div/mod
11 months ago, by haftmann
more robust (amending 1600fb749c54), to support the following corner case:
11 months ago, by wenzelm
proper test options;
11 months ago, by wenzelm
proper history_base for linux_arm;
11 months ago, by wenzelm
updated to PostgreSQL 12 on Ubuntu 20.04;
11 months ago, by wenzelm
routine build + test for linux_arm;
11 months ago, by wenzelm
disable test on "augsburg1": machine will be dismantled;
11 months ago, by wenzelm
add approximation factors in build schedule to estimate build times more conservatively;
11 months ago, by Fabian Huch
merged
11 months ago, by paulson
Type class patch suggested by Achim Brucker, plus tidied lemma
11 months ago, by paulson
rearranged and reformulated abstract classes for bit structures and operations
11 months ago, by haftmann
Three new lemmas
11 months ago, by paulson
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
clarified modules;
11 months ago, by wenzelm

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

isabelle