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 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Sat, 30 Nov 2013 22:56:20 +0100 wenzelm prefer 32x32 icon like jedit (image from isabelle.ico); changeset | files
Sat, 30 Nov 2013 21:17:53 +0100 wenzelm updated isabelle.ico for the record (see also 84177f8372f9); changeset | files
Sat, 30 Nov 2013 20:59:12 +0100 wenzelm updated icon of Isabelle.exe, using http://convertico.org/image_to_icon_converter on lib/logo/isabelle.gif (approx. 256x256 pixels according to Windows 7 format); changeset | files
Sat, 30 Nov 2013 17:51:25 +0100 wenzelm further encouragement to read jEdit documentation; changeset | files
Sat, 30 Nov 2013 17:38:08 +0100 wenzelm clarified view.title; changeset | files
Sat, 30 Nov 2013 17:26:00 +0100 wenzelm NEWS; changeset | files
Sat, 30 Nov 2013 16:07:00 +0100 wenzelm non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required); changeset | files
Sat, 30 Nov 2013 15:05:10 +0100 wenzelm more thorough read_pid with extra delay, to give external process a chance to write pid file before attempting to terminate it -- especially relevant for PIDE document processing, where interrupts can happen in the range of milliseconds; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle