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.
tuned;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified master_dir: avoid somewhat fragile Document.Node.Name.master_dir_path;
18 months ago, by wenzelm
tuned signature: avoid too many aliases (see also 72daee8a39ca);
18 months ago, by wenzelm
clarified modules;
18 months ago, by wenzelm
merged
18 months ago, by desharna
strengthened and renamed lemmas asym_on_iff_irrefl_on_if_trans and asymp_on_iff_irreflp_on_if_transp
19 months ago, by desharna
Fixed a couple of simple_path occurrences
18 months ago, by paulson
merged
19 months ago, by paulson
Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path"
19 months ago, by paulson
clarified signature: more explicit types;
19 months ago, by wenzelm
more robust: prefer internal theory names;
19 months ago, by wenzelm
clarified session_sources (again, see also 9d0e6ea7aa68);
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
tuned output;
19 months ago, by wenzelm
clarified signature: more general operations;
19 months ago, by wenzelm
clarified signature: more explicit types;
19 months ago, by wenzelm
clarified signature: more explicit types (see also 90c552d28d36);
19 months ago, by wenzelm
do write_session_sources early, to have information available in build job;
19 months ago, by wenzelm
tuned signature, following Url.append_path;
19 months ago, by wenzelm
do not bundle Isabelle/Naproche, while it keeps changing;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified signature: uniform master_dir instead of separate field;
19 months ago, by wenzelm
more standard master_dir;
19 months ago, by wenzelm
tuned signature, following Url.append_path;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML;
19 months ago, by wenzelm
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
tunes signature;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
clarified modules;
19 months ago, by wenzelm
tuned: no need to map master_dir, which does not participate in comparison;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
removed an unfortunate sledgehammer command
19 months ago, by paulson
A couple of patches
19 months ago, by paulson
Big simplifications of old proofs
19 months ago, by paulson
repaired a proof
19 months ago, by paulson
Continued proof simplifications
19 months ago, by paulson
merged
19 months ago, by paulson
A further round of proof consolidation
19 months ago, by paulson
tuned signature: avoid too many aliases;
19 months ago, by wenzelm
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
19 months ago, by wenzelm
more robust: avoid detour via somewhat fragile Node.Name.path;
19 months ago, by wenzelm
clarified generic path operations;
19 months ago, by wenzelm
more flexible: implicit support for Windows;
19 months ago, by wenzelm
tuned signature;
19 months ago, by wenzelm
clarified output;
19 months ago, by wenzelm
tuned;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
tip