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.
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
clarified HTML_Context: just one context type;
2021-11-05, by wenzelm
unused (see also 217e6cf61453, 5e7916535860);
2021-11-05, by wenzelm
merged
2021-11-04, by wenzelm
clarified Theory_Cache: prefer immutable data with Synchronized variable;
2021-11-04, by wenzelm
tuned signature;
2021-11-04, by wenzelm
unused;
2021-11-04, by wenzelm
proper support of verit's return code for timeout
2021-11-04, by Mathias Fleury
tuned whitespace;
2021-11-04, by wenzelm
updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";
2021-11-04, by wenzelm
clarified signature;
2021-11-04, by wenzelm
prefer official Export.explode_name;
2021-11-04, by wenzelm
tuned;
2021-11-04, by wenzelm
avoid conflict with future keyword;
2021-11-04, by wenzelm
tuned messages;
2021-11-04, by wenzelm
clarified signature: more direct XML.symbol_length;
2021-11-04, by wenzelm
more direct Symbol.length: Symbol.decode is redundant, symbol counts are invariant under it;
2021-11-04, by wenzelm
tuned -- eliminate clones stemming from d28a51dd9da6;
2021-11-04, by wenzelm
more to ANNOUNCE;
2021-11-03, by wenzelm
clarified link style: similar to Isabelle/jEdit;
2021-11-03, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip