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