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

Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
2021-11-07, by wenzelm
merged
2021-11-07, by nipkow
Preserve variable name z in VAR {z = t}
2021-11-07, by nipkow
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
2021-11-07, by wenzelm
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
2021-11-07, by wenzelm
more precise URL
2021-11-07, by nipkow
tuned page breaks
2021-11-07, by nipkow
cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);
2021-11-06, by wenzelm
proper foundational order;
2021-11-06, by wenzelm
back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition";
2021-11-06, by wenzelm
use all entity kinds from theory export, e.g. "method", "attribute";
2021-11-06, by wenzelm
clarified signature;
2021-11-06, by wenzelm
clarified physical_ref;
2021-11-06, by wenzelm
proper treatment of session build hierarchy;
2021-11-06, by wenzelm
proper used_theories for session build hierarchy, not known_theories from imported sessions;
2021-11-06, by wenzelm
present theories from imported sessions as required;
2021-11-05, by wenzelm
avoid multiple copies of fonts;
2021-11-05, by wenzelm
more compact persistent data;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm
proper term_cache;
2021-11-05, by wenzelm
prefer "NAME|KIND" format, as already used in Isabelle/MMT and Isabelle/Dedukti;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm
observer proper session hierarchy (according to build_graph): thus exported artifacts are always valid;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm
clarified order: prefer bottom-up construction of partial content;
2021-11-05, by wenzelm
more thorough update_global_index: overwrite old content;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm
tuned;
2021-11-05, by wenzelm

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

isabelle