| 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 |
| Fri, 01 Nov 2024 16:57:33 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Nov 2024 16:53:10 +0100 | wenzelm | support Isabelle/jEdit action isabelle.select_structure; | changeset | files |