Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2019-02-18 wenzelm more robust: avoid potentially unrelated snapshot for the sake of is_suppressed; changeset | files
2019-02-17 wenzelm clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f; changeset | files
2019-02-17 wenzelm updated to polyml-test-8fda4fd22441; changeset | files
2019-02-15 haftmann proper installation of ancient procedure for preorders changeset | files
2019-02-15 haftmann CONTRIBUTORS changeset | files
2019-02-15 haftmann more idiomatic style for local declarations in apply scripts changeset | files
2019-02-15 wenzelm clarified meta_digest: export_files is a directive for physical output from existing build database; changeset | files
2019-02-15 wenzelm clarified 'export_files' in session ROOT: require explicit "isabelle build -e"; changeset | files
2019-02-15 wenzelm clarified name; changeset | files
2019-02-14 wenzelm more operations; changeset | files
2019-02-14 wenzelm more operations; changeset | files
2019-02-14 wenzelm support for RDF/XML representation; changeset | files
2019-02-14 wenzelm tuned according to Scala version; changeset | files
2019-02-14 wenzelm support for XML name spaces; changeset | files
2019-02-14 wenzelm uniform XML header; changeset | files
2019-02-13 nipkow added lemma changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -16 +16 +100 +300 +1000 +3000 +10000 tip
isabelle