Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Fri, 06 Dec 2013 23:25:38 +0100 wenzelm directly react on click, assuming that document view operation is mostly idempotent; changeset | files
Fri, 06 Dec 2013 22:50:47 +0100 wenzelm generic $ISABELLE_OPEN; changeset | files
Fri, 06 Dec 2013 22:35:51 +0100 wenzelm updated to Sumatra PDF 2.4; changeset | files
Fri, 06 Dec 2013 22:10:45 +0100 wenzelm clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment; changeset | files
Fri, 06 Dec 2013 21:49:08 +0100 wenzelm tuned; changeset | files
Fri, 06 Dec 2013 17:33:45 +0100 wenzelm tuned proofs; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle