# HG changeset patch
# User wenzelm
# Date 1431094442 -7200
# Node ID 2a9bc6447779ec9cd61d7dd4e05eee2a196597d1
# Parent  bcd9a70342be170f5c69361e4d35e073b4a1de98
clarified tooltip;

diff -r bcd9a70342be -r 2a9bc6447779 src/Tools/jEdit/src/sledgehammer_dockable.scala
--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Fri May 08 15:32:27 2015 +0200
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Fri May 08 16:14:02 2015 +0200
@@ -80,7 +80,8 @@
   private val provers_label = new Label("Provers:") {
     tooltip =
       GUI.tooltip_lines(
-        "Automatic provers as space-separated list, e.g.\ne spass remote_vampire")
+        "Automatic provers as space-separated list, e.g.\n" +
+          PIDE.options.value.check_name("sledgehammer_provers").default_value)
   }
 
   private val provers = new HistoryTextField("isabelle-sledgehammer-provers") {