| Thu, 22 Nov 2012 08:23:13 +0100 | nipkow | tuned names | changeset | files |
| Wed, 21 Nov 2012 21:08:20 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 21 Nov 2012 20:50:34 +0100 | wenzelm | clarified symbol groups, despite this traditional arrangement in X-symbol grid; | changeset | files |
| Wed, 21 Nov 2012 20:36:52 +0100 | wenzelm | always retain message positions, in order to allow Isabelle_Rendering.sendback retrieve the exec_id, even in tooltip or detached window; | changeset | files |
| Wed, 21 Nov 2012 20:15:25 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 21 Nov 2012 16:43:14 +0100 | immler | merged | changeset | files |
| Wed, 21 Nov 2012 16:32:34 +0100 | immler | included abbrev in tooltip | changeset | files |
| Wed, 21 Nov 2012 16:21:16 +0100 | immler | removed (unicode) tooltips: can not adjust font in basic swing tooltip | changeset | files |