| Fri, 01 Nov 2024 18:55:47 +0100 | wenzelm | support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret; | changeset | files |
| Fri, 01 Nov 2024 18:17:03 +0100 | wenzelm | clarified rendering: entity acts as atomic notation / expression; | changeset | files |
| Fri, 01 Nov 2024 18:12:40 +0100 | wenzelm | more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements; | changeset | files |
| Fri, 01 Nov 2024 17:13:42 +0100 | wenzelm | more NEWS; | changeset | files |