# HG changeset patch
# User wenzelm
# Date 1663409542 -7200
# Node ID 322f2e2799a7babefb54b736d875cc34e239b7de
# Parent  49b16832f17368e227d0f1a9e181e6c47bc8ca2a
omit menu for unfinished tool;

diff -r 49b16832f173 -r 322f2e2799a7 src/Tools/jEdit/jedit_main/plugin.props
--- a/src/Tools/jEdit/jedit_main/plugin.props	Fri Sep 16 23:44:26 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props	Sat Sep 17 12:12:22 2022 +0200
@@ -37,7 +37,6 @@
   isabelle.java-monitor \
   - \
   isabelle-debugger \
-  isabelle-document \
   isabelle-documentation \
   isabelle-monitor \
   isabelle-output \