diff --git a/src/Tools/jEdit/jedit_main/plugin.props b/src/Tools/jEdit/jedit_main/plugin.props
--- a/src/Tools/jEdit/jedit_main/plugin.props
+++ b/src/Tools/jEdit/jedit_main/plugin.props
@@ -1,114 +1,113 @@
 ## Isabelle/jEdit plugin properties
 ##
 ##:wrap=soft:maxLineLen=100:
 
 #identification
 plugin.isabelle.jedit_main.Plugin.name=Isabelle
 plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
 plugin.isabelle.jedit_main.Plugin.version=11.3
 plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin
 
 #system parameters
 plugin.isabelle.jedit_main.Plugin.activate=defer
 plugin.isabelle.jedit_main.Plugin.usePluginHome=false
 
 #dependencies
 plugin.isabelle.jedit_main.Plugin.depend.0=jdk 11
 plugin.isabelle.jedit_main.Plugin.depend.1=jedit 05.06.00.00
 plugin.isabelle.jedit_main.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
 plugin.isabelle.jedit_main.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.4.0
 plugin.isabelle.jedit_main.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
 plugin.isabelle.jedit_main.Plugin.depend.5=plugin isabelle.jedit_base.Plugin 1.0
 
 #options
 plugin.isabelle.jedit_main.Plugin.option-group=isabelle-general isabelle-rendering
 options.isabelle-general.label=General
 options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
 options.isabelle-rendering.label=Rendering
 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
 
 #menu actions and dockables
 plugin.isabelle.jedit_main.Plugin.menu.label=Isabelle
 plugin.isabelle.jedit_main.Plugin.menu= \
   isabelle-export-browser \
   isabelle-session-browser \
   isabelle.preview \
   isabelle.draft \
   isabelle.java-monitor \
   - \
   isabelle-debugger \
-  isabelle-document \
   isabelle-documentation \
   isabelle-monitor \
   isabelle-output \
   isabelle-protocol \
   isabelle-query \
   isabelle-raw-output \
   isabelle-simplifier-trace \
   isabelle-sledgehammer \
   isabelle-state \
   isabelle-symbols \
   isabelle-syslog \
   isabelle-theories \
   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
 isabelle-graphview.title=Graphview
 isabelle-info.label=Info panel
 isabelle-info.title=Info
 isabelle-monitor.label=Monitor panel
 isabelle-monitor.title=Monitor
 isabelle-output.label=Output panel
 isabelle-output.title=Output
 isabelle-protocol.label=Protocol panel
 isabelle-protocol.title=Protocol
 isabelle-query.label=Query panel
 isabelle-query.title=Query
 isabelle-raw-output.label=Raw Output panel
 isabelle-raw-output.title=Raw Output
 isabelle-simplifier-trace.label=Simplifier Trace panel
 isabelle-simplifier-trace.title=Simplifier Trace
 isabelle-sledgehammer.label=Sledgehammer panel
 isabelle-sledgehammer.title=Sledgehammer
 isabelle-state.label=State panel
 isabelle-state.title=State
 isabelle-symbols.label=Symbols panel
 isabelle-symbols.title=Symbols
 isabelle-syslog.label=Syslog panel
 isabelle-syslog.title=Syslog
 isabelle-theories.label=Theories panel
 isabelle-theories.title=Theories
 isabelle-timing.label=Timing panel
 isabelle-timing.title=Timing
 
 #SideKick
 mode.isabelle-news.folding=sidekick
 mode.isabelle-news.sidekick.parser=isabelle-news
 mode.isabelle-options.folding=sidekick
 mode.isabelle-options.sidekick.parser=isabelle-options
 mode.isabelle-root.folding=sidekick
 mode.isabelle-root.sidekick.parser=isabelle-root
 mode.isabelle.customSettings=true
 mode.isabelle.folding=isabelle
 mode.isabelle.sidekick.parser=isabelle
 mode.isabelle.sidekick.showStatusWindow.label=true
 mode.isabelle-ml.folding=sidekick
 mode.isabelle-ml.sidekick.parser=isabelle-ml
 mode.sml.folding=sidekick
 mode.sml.sidekick.parser=isabelle-sml
 mode.bibtex.folding=sidekick
 mode.bibtex.sidekick.parser=bibtex
 sidekick.parser.isabelle.label=isabelle
 sidekick.parser.isabelle-context.label=isabelle-context
 sidekick.parser.isabelle-markup.label=isabelle-markup
 sidekick.parser.isabelle-ml.label=isabelle-ml
 sidekick.parser.isabelle-sml.label=isabelle-sml
 sidekick.parser.isabelle-news.label=isabelle-news
 sidekick.parser.isabelle-options.label=isabelle-options
 sidekick.parser.isabelle-root.label=isabelle-root
 sidekick.parser.bibtex.label=bibtex