proper message;
authorwenzelm
Mon, 13 May 2019 16:30:20 +0200
changeset 70463 94b332206700
parent 70448 ad0306b89cfb
child 70464 02920bc314ee
proper message;
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 _)