| Thu, 22 Nov 2012 12:22:03 +0100 | wenzelm | some support for breakable text and paragraphs; | changeset | files |
| 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 |