# HG changeset patch
# User wenzelm
# Date 1557757820 -7200
# Node ID 94b332206700da3b2e512d421b3fff93eab6657d
# Parent  ad0306b89cfb39e9f7790e8157a1931c0d732b31
proper message;

diff -r ad0306b89cfb -r 94b332206700 src/Tools/jEdit/src/query_dockable.scala
--- a/src/Tools/jEdit/src/query_dockable.scala	Sat May 11 15:53:11 2019 +0200
+++ b/src/Tools/jEdit/src/query_dockable.scala	Mon May 13 16:30:20 2019 +0200
@@ -92,7 +92,7 @@
     private val query_label = new Label("Find:") {
       tooltip =
         GUI.tooltip_lines(
-          "Search criteria for find operation, e.g.\n\"_ = _\" \"op +\" name: Group -name: monoid")
+          "Search criteria for find operation, e.g.\n\"_ = _\" \"(+)\" name: Group -name: monoid")
     }
 
     val query = make_query("isabelle-find-theorems", query_label.tooltip, apply_query _)