| Wed, 02 Apr 2025 22:09:45 +0200 | wenzelm | prefer generic action names, to be injected into jEdit codebase eventually; | file | diff | annotate |
| Tue, 01 Apr 2025 21:37:02 +0200 | wenzelm | clarified actions and keyboard shortcuts --- requires to update jedit component; | file | diff | annotate |
| Tue, 01 Apr 2025 11:59:07 +0200 | wenzelm | support for navigation, independently of Navigator plugin; | file | diff | annotate |
| Thu, 13 Feb 2025 14:26:50 +0100 | wenzelm | expose bundle $ISABELLE_BROWSER_INFO_LIBRARY via HTTP; | file | diff | annotate |
| Fri, 01 Nov 2024 16:53:10 +0100 | wenzelm | support Isabelle/jEdit action isabelle.select_structure; | file | diff | annotate |
| Thu, 15 Jul 2021 16:35:45 +0200 | wenzelm | build.props for isabelle.jar, including isabelle.jedit; | file | diff | annotate | base |