| Wed, 06 Feb 2013 21:05:06 +0100 | wenzelm | more robust JEdit_Lib.pixel_range, which could crash via Rich_Text_Area.tooltip_painter with bad mouse coordinates; | changeset | files |
| Wed, 06 Feb 2013 20:03:42 +0100 | wenzelm | documentation for 'print_rules'; | changeset | files |
| Fri, 01 Feb 2013 22:24:27 +0100 | wenzelm | no choice of target directory -- default file permissions outside user directory tend to be ill-defined for Cygwin; | changeset | files |
| Fri, 01 Feb 2013 21:58:13 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Feb 2013 21:58:00 +0100 | wenzelm | provide jdk-7u13 (still inactive, potentially pointless); | changeset | files |
| Fri, 01 Feb 2013 21:40:15 +0100 | wenzelm | allow relative directory; | changeset | files |
| Fri, 01 Feb 2013 21:31:21 +0100 | wenzelm | standardized isabelle-server.in.tum.de; | changeset | files |