Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2018-10-25 wenzelm clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc); changeset | files
2018-10-25 wenzelm updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux; changeset | files
2018-10-25 wenzelm proper completion for @{named_theorems}; changeset | files
2018-10-25 haftmann executable comparators apt for sorting changeset | files
2018-10-25 haftmann tuned grammar changeset | files
2018-10-25 haftmann more and generalized lemmas changeset | files
2018-10-23 Lars Hupel Jenkins: delete obsolete profile changeset | files
2018-10-22 Manuel Eberl Tagged some theories in HOL-Analysis changeset | files
2018-10-22 wenzelm proper chapter; changeset | files
2018-10-22 wenzelm tuned messages; changeset | files
2018-10-22 wenzelm tuned signature; changeset | files
2018-10-22 wenzelm tuned messages; changeset | files
2018-10-22 wenzelm more robust: check archive ident; changeset | files
2018-10-22 wenzelm misc tuning and clarification; changeset | files
2018-10-21 Angeliki KoutsoukouArgyraki tagged 8 theories for the Analysis manual. changeset | files
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip
isabelle