# 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 _)