| Fri, 01 Nov 2024 18:17:03 +0100 | wenzelm | clarified rendering: entity acts as atomic notation / expression; | file | diff | annotate |
| Fri, 01 Nov 2024 18:12:40 +0100 | wenzelm | more rendering for Markup.COMMAND_SPAN, following Rendering.structure_elements; | file | diff | annotate |
| Fri, 01 Nov 2024 16:53:10 +0100 | wenzelm | support Isabelle/jEdit action isabelle.select_structure; | file | diff | annotate |
| Sat, 19 Oct 2024 22:38:51 +0200 | wenzelm | clarified order of tooltips: make it less dependent on report order from ML (which differs for input vs. output); | file | diff | annotate |
| Sat, 19 Oct 2024 22:20:05 +0200 | wenzelm | clarified signature (see also 1de8a8b1ae79); | file | diff | annotate |
| Sat, 19 Oct 2024 22:01:36 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 06 Oct 2024 21:55:31 +0200 | wenzelm | tuned output; | file | diff | annotate |