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
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
obsolete;
22 months ago, by wenzelm
more keywords for scala3;
22 months ago, by wenzelm
discontinued Isabelle tools implemented as .scala scripts;
22 months ago, by wenzelm
tuned proofs
22 months ago, by desharna
clarified heap alignment, to make it potentially more stable on macOS;
22 months ago, by wenzelm
tuned proof
22 months ago, by desharna
added lemmas domain_comp and unify_gives_minimal_domain
22 months ago, by 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
22 months ago, by desharna
merged
22 months ago, by desharna
added definition IMGU and lemmas IMGU_iff_Idem_and_MGU and unify_computes_IMGU
22 months ago, by desharna
more macOS versions;
22 months ago, by wenzelm
prefer Isabelle/Scala operations;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
clarified IO, following Java 11 and Isabelle/Scala;
22 months ago, by wenzelm
prefer Scala operations;
22 months ago, by wenzelm
minor tuning;
22 months ago, by wenzelm
switched to statically compiled ci profile;
22 months ago, by Fabian Huch
more operations on Bytes.T;
22 months ago, by wenzelm
more operations on Bytes.T;
22 months ago, by wenzelm
tuned BNF bounds for function space and bounded sets; NEWS and CONTRIBUTORS
22 months ago, by traytel
strict bounds for BNFs (by Jan van Brügge)
22 months ago, by traytel
More lemmas.
22 months ago, by haftmann
Centralized some char-related lemmas in distribution.
22 months ago, by haftmann
prefer antiquotations;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
more documentation;
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
clarified signature: File.read_lines is based on scalable Bytes.T;
22 months ago, by wenzelm
clarified modules;
22 months ago, by wenzelm
prefer scalable Bytes.T;
22 months ago, by wenzelm
unused;
22 months ago, by wenzelm
prefer scalable Bytes.T;
22 months ago, by wenzelm
missing recursive let-expansion in SMT translation
22 months ago, by Mathias Fleury
merged
22 months ago, by desharna
added lemma monotone_on_o
22 months ago, by desharna
redefined mono_on and strict_mono_on as an abbreviation of monotone_on
22 months ago, by desharna
changed argument order of mono_on and strict_mono_on to uniformize with monotone_on and other predicates
22 months ago, by desharna
more robust CSV syntax, e.g. for "pull_date";
22 months ago, by wenzelm
merged
22 months ago, by wenzelm
more scalable generated files and code export, using Bytes.T;
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
proper execution of Bytes.write;
22 months ago, by wenzelm
Avoid calculations where not necessary.
22 months ago, by haftmann
Prefer existing horner sum combinator.
22 months ago, by haftmann
Executable lexords.
22 months ago, by haftmann
Less warnings.
22 months ago, by haftmann
merged
22 months ago, by wenzelm
more operations;
22 months ago, by wenzelm
removed unused operations;
22 months ago, by wenzelm
clarified signature: more operations;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned comments;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified session resources for bootstrap, notably for Scala functions;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified types and defaults;
22 months ago, by wenzelm
merged
22 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip