Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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: 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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip