2022-07-01 wenzelm provide components for scala3 (still inactive);
2022-07-01 wenzelm updated download version;
2022-07-01 wenzelm obsolete;
2022-07-01 wenzelm more keywords for scala3;
2022-07-01 wenzelm discontinued Isabelle tools implemented as .scala scripts;
2022-07-01 desharna tuned proofs
2022-06-30 wenzelm clarified heap alignment, to make it potentially more stable on macOS;
2022-06-29 desharna tuned proof
2022-06-29 desharna added lemmas domain_comp and unify_gives_minimal_domain
2022-06-29 desharna added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range
2022-06-29 desharna merged
2022-06-29 desharna added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU
2022-06-29 wenzelm more macOS versions;
2022-06-28 wenzelm prefer Isabelle/Scala operations;
2022-06-28 wenzelm merged
2022-06-28 wenzelm clarified IO, following Java 11 and Isabelle/Scala;
2022-06-28 wenzelm prefer Scala operations;
2022-06-28 wenzelm minor tuning;
2022-06-21 Fabian Huch switched to statically compiled ci profile;
2022-06-28 wenzelm more operations on Bytes.T;
2022-06-28 wenzelm more operations on Bytes.T;
2022-06-27 traytel tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
2022-06-27 traytel strict bounds for BNFs (by Jan van Brügge)
2022-06-25 haftmann More lemmas.
2022-06-25 haftmann Centralized some char-related lemmas in distribution.
2022-06-25 wenzelm prefer antiquotations;
2022-06-25 wenzelm clarified modules;
2022-06-25 wenzelm more documentation;
2022-06-25 wenzelm merged
2022-06-25 wenzelm tuned whitespace;
2022-06-24 wenzelm clarified signature: File.read_lines is based on scalable Bytes.T;
2022-06-24 wenzelm clarified modules;
2022-06-24 wenzelm prefer scalable Bytes.T;
2022-06-24 wenzelm unused;
2022-06-24 wenzelm prefer scalable Bytes.T;
2022-06-25 Mathias Fleury missing recursive let-expansion in SMT translation
2022-06-24 desharna merged
2022-06-24 desharna added lemma monotone_on_o
2022-06-24 desharna redefined mono_on and strict_mono_on as an abbreviation of monotone_on
2022-06-23 desharna changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
2022-06-23 wenzelm more robust CSV syntax, e.g. for "pull_date";
2022-06-23 wenzelm merged
2022-06-23 wenzelm more scalable generated files and code export, using Bytes.T;
2022-06-23 wenzelm more operations;
2022-06-23 wenzelm proper execution of Bytes.write;
2022-06-22 haftmann Avoid calculations where not necessary.
2022-06-22 haftmann Prefer existing horner sum combinator.
2022-06-22 haftmann Executable lexords.
2022-06-22 haftmann Less warnings.
2022-06-22 wenzelm merged
2022-06-22 wenzelm more operations;
2022-06-22 wenzelm removed unused operations;
2022-06-22 wenzelm clarified signature: more operations;
2022-06-22 wenzelm tuned;
2022-06-22 wenzelm tuned comments;
2022-06-22 wenzelm tuned;
2022-06-22 wenzelm clarified session resources for bootstrap, notably for Scala functions;
2022-06-22 wenzelm tuned;
2022-06-22 wenzelm clarified signature;
2022-06-22 wenzelm tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip