--- a/src/Tools/jEdit/jedit_main/plugin.props Fri Aug 12 12:19:23 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props Fri Aug 12 12:50:19 2022 +0200
@@ -37,6 +37,7 @@
isabelle.java-monitor \
- \
isabelle-debugger \
+ isabelle-document \
isabelle-documentation \
isabelle-monitor \
isabelle-output \
@@ -52,6 +53,8 @@
isabelle-timing
isabelle-debugger.label=Debugger panel
isabelle-debugger.title=Debugger
+isabelle-document.label=Document panel
+isabelle-document.title=Document
isabelle-documentation.label=Documentation panel
isabelle-documentation.title=Documentation
isabelle-graphview.label=Graphview panel