| changeset 81972 | fc557fc4ffc4 |
| parent 78593 | 55ca7578d3e9 |
| child 81973 | 82cf33956a17 |
--- a/src/Tools/jEdit/jedit_base/plugin.props Fri Jan 24 19:35:55 2025 +0100 +++ b/src/Tools/jEdit/jedit_base/plugin.props Fri Jan 24 19:54:43 2025 +0100 @@ -14,4 +14,4 @@ #dependencies plugin.isabelle.jedit_base.Plugin.depend.0=jdk 17 -plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.05.00.00 +plugin.isabelle.jedit_base.Plugin.depend.1=jedit 05.06.00.00