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 -96 +96 +100 +300 +1000 +3000 tip

merged
2023-01-03, by desharna
strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp
2022-12-26, by desharna
Fixed a couple of simple_path occurrences
2023-01-03, by paulson
merged
2023-01-02, by paulson
Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path"
2023-01-02, by paulson
clarified signature: more explicit types;
2023-01-02, by wenzelm
more robust: prefer internal theory names;
2023-01-02, by wenzelm
clarified session_sources (again, see also 9d0e6ea7aa68);
2023-01-02, by wenzelm
clarified signature: more explicit types;
2023-01-02, by wenzelm
tuned output;
2023-01-02, by wenzelm
clarified signature: more general operations;
2023-01-02, by wenzelm
clarified signature: more explicit types;
2023-01-02, by wenzelm
clarified signature: more explicit types (see also 90c552d28d36);
2023-01-02, by wenzelm
do write_session_sources early, to have information available in build job;
2023-01-02, by wenzelm
tuned signature, following Url.append_path;
2023-01-02, by wenzelm
do not bundle Isabelle/Naproche, while it keeps changing;
2023-01-02, by wenzelm
tuned signature;
2023-01-02, by wenzelm
tuned;
2023-01-02, by wenzelm
clarified signature: uniform master_dir instead of separate field;
2023-01-02, by wenzelm
more standard master_dir;
2023-01-02, by wenzelm
tuned signature, following Url.append_path;
2023-01-01, by wenzelm
merged
2023-01-01, by wenzelm
more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML;
2023-01-01, by wenzelm
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
2023-01-01, by wenzelm
tuned signature;
2022-12-31, by wenzelm
tuned;
2022-12-31, by wenzelm
tunes signature;
2022-12-31, by wenzelm
clarified signature;
2022-12-31, by wenzelm
tuned signature;
2022-12-31, by wenzelm
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
2022-12-31, by wenzelm
tuned;
2022-12-31, by wenzelm
unused;
2022-12-31, by wenzelm
tuned;
2022-12-31, by wenzelm
clarified modules;
2022-12-31, by wenzelm
tuned: no need to map master_dir, which does not participate in comparison;
2022-12-31, by wenzelm
tuned signature;
2022-12-31, by wenzelm
tuned signature;
2022-12-31, by wenzelm
tuned comments;
2022-12-31, by wenzelm
clarified signature;
2022-12-31, by wenzelm
tuned;
2022-12-31, by wenzelm
removed an unfortunate sledgehammer command
2023-01-01, by paulson
A couple of patches
2023-01-01, by paulson
Big simplifications of old proofs
2023-01-01, by paulson
repaired a proof
2022-12-31, by paulson
Continued proof simplifications
2022-12-30, by paulson
merged
2022-12-30, by paulson
A further round of proof consolidation
2022-12-30, by paulson
tuned signature: avoid too many aliases;
2022-12-30, by wenzelm
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
2022-12-30, by wenzelm
more robust: avoid detour via somewhat fragile Node.Name.path;
2022-12-30, by wenzelm
clarified generic path operations;
2022-12-30, by wenzelm
more flexible: implicit support for Windows;
2022-12-30, by wenzelm
tuned signature;
2022-12-30, by wenzelm
clarified output;
2022-12-30, by wenzelm
tuned;
2022-12-30, by wenzelm
merged
2022-12-29, by paulson
More tidying
2022-12-29, by paulson
Further cleaning up of messy proofs
2022-12-29, by paulson
merged
2022-12-29, by paulson
reorganisation and simplification of theorems about transcendental functions
2022-12-29, by paulson
tuned signature;
2022-12-29, by wenzelm
support asynchronous presentation commands, but not for "no_update" / "Keep", which is usually forked via "Toplevel.diag";
2022-12-29, by wenzelm
tuned whitespace;
2022-12-29, by wenzelm
clarified signature;
2022-12-29, by wenzelm
clarified signature;
2022-12-29, by wenzelm
tuned;
2022-12-29, by wenzelm
tuned;
2022-12-29, by wenzelm
discontinued somewhat pointless exception FAILURE with its "alt_state", which was originally due to quasi-mutable states (see 169e5b07ec06);
2022-12-29, by wenzelm
tuned --- more robust ML patterns;
2022-12-29, by wenzelm
tuned;
2022-12-29, by wenzelm
merged
2022-12-28, by wenzelm
tuned signature, for the sake of AFP/Isabelle_C;
2022-12-28, by wenzelm
more uniform report of Markup.language_path;
2022-12-28, by wenzelm
omit pointless guard: ultimately observed by Isabelle_Process.report_message;
2022-12-28, by wenzelm
tuned signature;
2022-12-28, by wenzelm
clarified modules;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned signature;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned;
2022-12-28, by wenzelm
tuned output;
2022-12-28, by wenzelm
merged
2022-12-28, by paulson
Tidied some messy proofs
2022-12-28, by paulson
merged
2022-12-27, by wenzelm
clarified modules: avoid duplication;
2022-12-27, by wenzelm
tuned output;
2022-12-27, by wenzelm
support for generic File_Format.parse_data, with persistent result in document model;
2022-12-27, by wenzelm
omit warning: somewhat pointless and out-of-context;
2022-12-27, by wenzelm
clarified signature: avoid case class with mutable state;
2022-12-27, by wenzelm
tuned;
2022-12-27, by wenzelm
clarified signature: more explicit types;
2022-12-27, by wenzelm
merged
2022-12-27, by paulson
tidied some messy old proofs
2022-12-27, by paulson
tuned signature;
2022-12-26, by wenzelm
merged
2022-12-26, by wenzelm
tuned signature;
2022-12-26, by wenzelm

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

isabelle