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

MLton lacks arm64-linux (see also 84f2d481d6d7);
9 months ago, by wenzelm
more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2;
9 months ago, by wenzelm
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
merged
9 months ago, by wenzelm
misc updates, tuning and clarification;
9 months ago, by wenzelm
reformat source in jEdit (wrap margin 78);
9 months ago, by wenzelm
more accurate Markdown formatting, both for VSCode and Phabricator;
9 months ago, by wenzelm
just one README.md;
9 months ago, by wenzelm
tuned
9 months ago, by nipkow
merged
9 months ago, by wenzelm
more accurate platform directories: pkg/tool structure is hardwired in "go";
9 months ago, by wenzelm
support for etc/platform.props, to specify multi-platform directory structure more accurately;
9 months ago, by wenzelm
clarified signature;
9 months ago, by wenzelm
tuned;
9 months ago, by wenzelm
clarified modules;
9 months ago, by wenzelm
clarified modules;
9 months ago, by wenzelm
build Isabelle component for Go: all platforms;
9 months ago, by wenzelm
misc tuning;
9 months ago, by wenzelm
just one copy of darwin-universal.tar.gz;
9 months ago, by wenzelm
documented running time function framework by Jonas Stahl
9 months ago, by nipkow
merged
9 months ago, by desharna
redefined wf as an abbreviation for "wf_on UNIV"
9 months ago, by desharna
merged
9 months ago, by nipkow
more uniform command names
9 months ago, by nipkow
tuned parameter order
9 months ago, by nipkow
shutdown lrzcloud2;
9 months ago, by wenzelm
tuned NEWS
9 months ago, by desharna
redefined wfP as an abbreviation for "wfp_on UNIV"
9 months ago, by desharna
merged
9 months ago, by desharna
added lemma wellorder.wfp_on_less[simp]
9 months ago, by desharna
merged
9 months ago, by wenzelm
suppress arm64-darwin, which does not support "-codegen native" (required for AFP/PAC_Checker);
9 months ago, by wenzelm
update to sumatra_pdf-3.5.2;
9 months ago, by wenzelm
tuned signature: fewer warnings in IntelliJ IDEA;
9 months ago, by wenzelm
update to jsoup-1.17.2;
9 months ago, by wenzelm
proper bib entries (amending 82aaa0d8fc3b);
9 months ago, by wenzelm
update to dotnet-8.0.203;
9 months ago, by wenzelm
enforce rebuild of Isabelle/ML;
9 months ago, by wenzelm
update to sqlite-3.45.2.0: clarified component name, following postgresql;
9 months ago, by wenzelm
activate postgresql-42.7.3;
9 months ago, by wenzelm
update to postgresql-42.7.3;
9 months ago, by wenzelm
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
9 months ago, by wenzelm
isabelle update -u cite;
9 months ago, by wenzelm
raise error if benchmarking fails;
9 months ago, by Fabian Huch
option for benchmark session;
9 months ago, by Fabian Huch
add hosts option to run benchmark on the cluster from the command-line;
9 months ago, by Fabian Huch
only start jobs early if they are due (cf. 1966578feff8);
9 months ago, by Fabian Huch
New material from a variety of sources (including AFP)
9 months ago, by paulson
build component for cvc5-latest (ef2bc3f735df);
9 months ago, by wenzelm
merged
9 months ago, by desharna
try proof method "order" in Sledgehammer's proof reconstruction
9 months ago, by desharna
added Mirabelle action "order"
9 months ago, by desharna
renamed lemma antisymp_on_reflcp to antisymp_on_reflclp
9 months ago, by desharna
tuned proof
9 months ago, by desharna
added lemma order_reflclp_if_transp_and_asymp
9 months ago, by desharna
added lemmas antisym_on_reflcl_if_asym_on and antisymp_on_reflclp_if_asymp_on
9 months ago, by desharna
HOL-Library: added modulo/congruence for real numbers
9 months ago, by Manuel Eberl
only print schedule if relevant;
9 months ago, by Fabian Huch
remove laziness: no need, and errors during initialization loop with close();
9 months ago, by Fabian Huch

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

isabelle