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

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

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

isabelle