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