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

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

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

isabelle