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

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

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

isabelle