Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+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.
merged
19 months ago, by wenzelm
more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException;
19 months ago, by wenzelm
more informative errors, with optional exception trace as in Command_Line.tool;
19 months ago, by wenzelm
more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
19 months ago, by wenzelm
proper chapter for each ROOT file (amending b07f2ff55144);
19 months ago, by wenzelm
tidying of ugly legacy proofs
19 months ago, by paulson
Tidying of old and ugly proofs
19 months ago, by paulson
deleted unused material
19 months ago, by paulson
A bit of tidying
19 months ago, by paulson
merged
19 months ago, by paulson
Slight tidying of legacy proofs
19 months ago, by paulson
merged
19 months ago, by wenzelm
update naproche component;
19 months ago, by wenzelm
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
19 months ago, by wenzelm
rebuild with proper Isabelle version;
19 months ago, by wenzelm
removed junk;
19 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
19 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
19 months ago, by wenzelm
more robust, e.g. for "isabelle dump";
19 months ago, by wenzelm
allow spaces in SCALA_HOME directory name;
19 months ago, by wenzelm
avoid spurious error messages, e.g. when scala is missing;
19 months ago, by wenzelm
more NEWS;
19 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
avoid result based on outdated state, e.g. relevant for use_theories with changed files;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature, following hints by IntelliJ IDEA;
19 months ago, by wenzelm
more robust treatment of state and events;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
proper result state (amending 954640e846d6);
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned: clarified old_theory (in contrast to 4d5342898b1);
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more robust: active consumer for check_state/check_progress;
19 months ago, by wenzelm
proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper Symbol.encode (following fd1efd6dd385), e.g. relevant for 'ML_file' with symbols like \<^here>;
20 months ago, by wenzelm
merged
19 months ago, by desharna
added lemma fmember_iff_member_fset
19 months ago, by desharna
tiny renaming
19 months ago, by paulson
merged
19 months ago, by paulson
Added the multiset termination proof
19 months ago, by paulson
generate some metainformation not only for SPASS but also for Zipperposition, for experimentation
19 months ago, by blanchet
added lemma wfP_subset_mset[simp]
20 months ago, by desharna
Tidying of some very old proofs
20 months ago, by paulson
merged
20 months ago, by paulson
tidying of some old proofs
20 months ago, by paulson
merged
20 months ago, by nipkow
new contributor
20 months ago, by nipkow
more List lemmas (partly by Jeremy Sylvestre)
20 months ago, by nipkow
merged
20 months ago, by paulson
merged
20 months ago, by paulson
Trying to clean up some messy proofs
20 months ago, by paulson
Mostly, removing the unfold method
20 months ago, by paulson
Mostly trivial simplifications
20 months ago, by paulson
Removal of the "unfold" method in favour of "unfolding"
20 months ago, by paulson
Elimination of the archaic ASCII syntax
20 months ago, by paulson
strengthened lemmas preorder.reflp_ge[simp] and preorder.reflp_le[simp]
20 months ago, by desharna
added lemmas linorder.totalp_ge[simp], linorder.totalp_greater[simp], linorder.totalp_le[simp], and linorder.totalp_less[simp]
20 months ago, by desharna
NEWS
20 months ago, by desharna
merged
20 months ago, by desharna
fixed NEWS following cee0b9fccf6f
20 months ago, by desharna
renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset
20 months ago, by desharna
merged
20 months ago, by wenzelm
proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build";
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load;
20 months ago, by wenzelm
tuned comment;
20 months ago, by wenzelm
support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64;
20 months ago, by wenzelm
updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64);
20 months ago, by wenzelm
more robust: prefer Windows $USERNAME;
20 months ago, by wenzelm
proper home directory for ssh configuration (e.g. ~/.ssh/config);
20 months ago, by wenzelm
more NEWS;
20 months ago, by wenzelm
clarified signature: more arguments;
20 months ago, by wenzelm
added lemma fimage_strict_mono
20 months ago, by desharna
added lemma wfP_pfsubset
20 months ago, by desharna
added lemmas wf_if_convertible_to_wf, wfP_if_convertible_to_wfP, and wfP_if_convertible_to_nat
20 months ago, by desharna
update components.sha1;
20 months ago, by wenzelm
proper description;
20 months ago, by wenzelm
one more lemma
20 months ago, by nipkow
merged
20 months ago, by nipkow
adjusted proofs
20 months ago, by nipkow
added and reorganized lemmas (some suggested by Jeremy Sylvestre)
20 months ago, by nipkow
removed redundant lemma
20 months ago, by nipkow
moved theorem from Fun to Set
20 months ago, by nipkow
added lemmas antisymp_ge[simp], antisymp_greater[simp], antisymp_le[simp], and antisymp_less[simp]
20 months ago, by desharna
added lemmas reflp_ge[simp] and reflp_le[simp]
20 months ago, by desharna
removed unused universal variable from lemma reflp_onI
20 months ago, by desharna
added lemmas irreflD and irreflpD
20 months ago, by desharna
added lemmas antisym_if_asym and antisymp_if_asymp
20 months ago, by desharna
strengthened lemma total_on_singleton and added lemma totalp_on_singleton
20 months ago, by desharna
generalized type classes as suggested by Jeremy Sylvestre
20 months ago, by nipkow
euclidean division on gaussian numbers
20 months ago, by haftmann
tuned proof
20 months ago, by haftmann
note on signed division on words
20 months ago, by haftmann
tuned definition
20 months ago, by haftmann
spelling
20 months ago, by haftmann
tuned proof
20 months ago, by haftmann
slightly less abusive proof pattern
20 months ago, by haftmann
back to post-release mode -- after fork point;
20 months ago, by wenzelm
Added tag Isabelle2022-RC3 for changeset d704efeb01db
20 months ago, by wenzelm
proper cygwin component (see d042947e47a3)
20 months ago, by wenzelm
proper base names;
20 months ago, by wenzelm
suppress command echo in output;
20 months ago, by wenzelm
include openssh for rsync (see also a1c7829ac2de);
20 months ago, by wenzelm
provide naproche-20221002;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
clarified signature: more operations;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned, following hints by IntelliJ IDEA;
20 months ago, by wenzelm
clarified signature, to support external tools like "isabelle narration";
20 months ago, by wenzelm
syntactic type classes for signed division operators
20 months ago, by haftmann
reduce prominence of facts
20 months ago, by haftmann
clarified signature;
20 months ago, by wenzelm
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
20 months ago, by wenzelm
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
20 months ago, by wenzelm
added documentation about new order prover
20 months ago, by Lukas Stevens
less
more
|
(0)
-30000
-10000
-3000
-1000
-120
+120
+1000
+3000
tip