| 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 |