# HG changeset patch
# User wenzelm
# Date 1666955711 -7200
# Node ID 46d4ebc2582ccf7057ef6d293aa82a34e97fac3f
# Parent  fc35dc967344e702328298ddfed5b90dda239017
reactivate emerging tool after release (see 322f2e2799a7);

diff -r fc35dc967344 -r 46d4ebc2582c src/Tools/jEdit/jedit_main/plugin.props
--- a/src/Tools/jEdit/jedit_main/plugin.props	Fri Oct 28 12:32:59 2022 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props	Fri Oct 28 13:15:11 2022 +0200
@@ -37,6 +37,7 @@
   isabelle.java-monitor \
   - \
   isabelle-debugger \
+  isabelle-document \
   isabelle-documentation \
   isabelle-monitor \
   isabelle-output \