Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified tooltip;
authorwenzelm
Fri, 08 May 2015 16:14:02 +0200
changeset 60278 2a9bc6447779
parent 60277 bcd9a70342be
child 60279 351536745704
clarified tooltip;
src/Tools/jEdit/src/sledgehammer_dockable.scala file | annotate | diff | comparison | revisions 
--- 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") {
isabelle