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
-32
+32
+50
+100
+300
+1000
+3000
+10000
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.
physical vs. logical events, the latter takes GC time into account;
2019-02-20, by wenzelm
misc tuning and clarification;
2019-02-20, by wenzelm
misc tuning and clarification;
2019-02-20, by wenzelm
tuned;
2019-02-20, by wenzelm
updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);
2019-02-20, by wenzelm
dropped junk
2019-02-20, by haftmann
suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1);
2019-02-18, by wenzelm
tuned;
2019-02-18, by wenzelm
more robust: avoid potentially unrelated snapshot for the sake of is_suppressed;
2019-02-18, by wenzelm
clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f;
2019-02-17, by wenzelm
updated to polyml-test-8fda4fd22441;
2019-02-17, by wenzelm
proper installation of ancient procedure for preorders
2019-02-15, by haftmann
CONTRIBUTORS
2019-02-15, by haftmann
more idiomatic style for local declarations in apply scripts
2019-02-15, by haftmann
clarified meta_digest: export_files is a directive for physical output from existing build database;
2019-02-15, by wenzelm
clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
2019-02-15, by wenzelm
clarified name;
2019-02-15, by wenzelm
more operations;
2019-02-14, by wenzelm
more operations;
2019-02-14, by wenzelm
support for RDF/XML representation;
2019-02-14, by wenzelm
tuned according to Scala version;
2019-02-14, by wenzelm
support for XML name spaces;
2019-02-14, by wenzelm
uniform XML header;
2019-02-14, by wenzelm
added lemma
2019-02-13, by nipkow
removed subsumed lemma
2019-02-13, by nipkow
too agressive
2019-02-13, by nipkow
added lemmas
2019-02-13, by nipkow
more robust: avoid duplicate Socket.close;
2019-02-10, by wenzelm
enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference;
2019-02-10, by wenzelm
updated to isabelle_fonts-20190210;
2019-02-10, by wenzelm
recovered missing glyph;
2019-02-10, by wenzelm
auto-hinting of original DejaVu fonts, but not Isabelle symbols;
2019-02-10, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-32
+32
+50
+100
+300
+1000
+3000
+10000
tip