Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -50 -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
2019-05-21 wenzelm proper version; file | diff | annotate
2019-04-10 wenzelm updated for release; file | diff | annotate
2019-04-02 wenzelm updated for release; file | diff | annotate
2018-07-18 wenzelm more ANNOUNCE; file | diff | annotate
2018-07-06 wenzelm prefer HTTPS; file | diff | annotate
2018-07-02 wenzelm tuned; file | diff | annotate
2018-07-01 wenzelm tuned; file | diff | annotate
2018-06-29 wenzelm misc tuning and updates for release; file | diff | annotate
2018-06-06 wenzelm updated for release; file | diff | annotate
2017-09-08 wenzelm updated for release; file | diff | annotate
2017-09-03 wenzelm updated for release; file | diff | annotate
2017-08-21 wenzelm tuned; file | diff | annotate
2017-08-21 wenzelm misc updates for release; file | diff | annotate
2016-12-12 wenzelm tuned; Isabelle2016-1 file | diff | annotate
2016-10-28 wenzelm tuned; file | diff | annotate
2016-10-28 wenzelm tuned; file | diff | annotate
2016-10-25 wenzelm updated for release; file | diff | annotate
2016-10-07 wenzelm updated for release; file | diff | annotate
2016-01-18 wenzelm updated mirrors according to website; file | diff | annotate
2016-01-16 wenzelm tuned URLs according to website; file | diff | annotate
2016-01-06 wenzelm misc tuning for release; file | diff | annotate
2016-01-05 wenzelm misc tuning for release; file | diff | annotate
2016-01-01 wenzelm tuned; file | diff | annotate
2016-01-01 wenzelm updated for release; file | diff | annotate
2015-12-31 wenzelm misc updates for release; file | diff | annotate
2015-04-17 wenzelm tuned spelling; file | diff | annotate
2015-04-17 wenzelm added Eisbach, using version 3752768caa17 of its Bitbucket repository; file | diff | annotate
2015-04-17 wenzelm ANNOUNCE material, based on NEWS; file | diff | annotate
2015-04-11 wenzelm updated for release; file | diff | annotate
2014-07-05 wenzelm update for release; file | diff | annotate
less more (0) -100 -50 -30 tip
isabelle