Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Fri, 15 Nov 2024 16:50:44 +0100 wenzelm tuned comments; changeset | files
Fri, 15 Nov 2024 16:08:56 +0100 wenzelm clarified key events: cancel output selection, before input selection; changeset | files
Fri, 15 Nov 2024 16:04:26 +0100 wenzelm proper focus to support subsequent copy-paste via keyboard; changeset | files
Fri, 15 Nov 2024 16:01:41 +0100 wenzelm more accurate initial FontRenderContext, notably on macOS, Windows, or Linux with "env GDK_SCALE=2"; changeset | files
Fri, 15 Nov 2024 15:18:48 +0100 wenzelm removed obsolete option: jEdit 5.7.0 can be built with default jdk; changeset | files
Fri, 15 Nov 2024 13:31:36 +0100 wenzelm more rebust mechanics of refresh (see also 82110cbcf9a1 and 2d9b6e32632d): painter.getFontRenderContext might be in undefined state (notably on macOS due to display scaling); changeset | files
Fri, 15 Nov 2024 13:08:48 +0100 wenzelm less ambitious selection; changeset | files
Fri, 15 Nov 2024 21:37:26 +0100 nipkow mv Discrete to Discrete_Cpo to avoid theory name clashes changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 tip
isabelle