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.
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
added lemmas monotone{,_on}_multp_multp_image_mset
22 months ago, by desharna
added lemmas monotone_on_empty[simp] and monotone_on_subset
22 months ago, by desharna
added predicate monotone_on and redefined monotone to be an abbreviation.
22 months ago, by desharna
merged
22 months ago, by wenzelm
NEWS;
22 months ago, by wenzelm
support XZ compression in Isabelle/ML;
22 months ago, by wenzelm
prefer scalable byte strings;
22 months ago, by wenzelm
more scalable byte messages, notably for Scala functions in ML;
22 months ago, by wenzelm
tuned comments;
22 months ago, by wenzelm
clarified ML pretty printing;
22 months ago, by wenzelm
clarified signature: more operations;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
tuned comments;
22 months ago, by wenzelm
tuned signature: more operations;
22 months ago, by wenzelm
tuned signature: more operations;
22 months ago, by wenzelm
tuned signature;
22 months ago, by wenzelm
clarified signature: avoid repeated string copying via Substring.slice;
22 months ago, by wenzelm
support for scalable byte strings, with incremental construction;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
remove unused file following 51e696887b81;
22 months ago, by wenzelm
added lemma map_mono_strict_suffix
22 months ago, by desharna
more robust: always override ISABELLE_IDENTIFIER from environment;
22 months ago, by wenzelm
"isabelle vscode" is regular user-space tool;
22 months ago, by wenzelm
fix veriT reconstruction for and_pos and lambda-lifting
22 months ago, by Mathias Fleury
added lemmas image_mset_eq_{image_mset_plus,plus,plus_image_mset}D, and multp_image_mset_image_msetD
22 months ago, by desharna
clarified options of "isabelle hg_sync" vs. "isabelle sync";
22 months ago, by wenzelm
tuned layout;
22 months ago, by wenzelm
misc tuning;
22 months ago, by wenzelm
clarified document structure;
22 months ago, by wenzelm
promote "isabelle sync" to regular user-space tool, with proper documentation;
22 months ago, by wenzelm
more comments;
22 months ago, by wenzelm
more options;
22 months ago, by wenzelm
sync session images, based on accidental local state;
22 months ago, by wenzelm
more informative release_snapshot, to see better where the cronjob fails;
22 months ago, by wenzelm
more robust, notably for crontab;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
proper make_port for regular situation;
22 months ago, by wenzelm
clarified types -- proper default_port via make_port;
22 months ago, by wenzelm
proper nominal_port, notably for port forwarding;
22 months ago, by wenzelm
some additional lemmas and a little tidying up
23 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip