Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/theories_dockable.scala
changeset 56599 c4424d8c890f
parent 56457 eea4bbe15745
child 56662 f373fb77e0a4 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Tue Apr 15 22:41:10 2014 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Wed Apr 16 09:38:40 2014 +0200
@@ -66,7 +66,7 @@
   /* controls */
 
   def phase_text(phase: Session.Phase): String =
-    "Prover: " + Library.lowercase(phase.toString)
+    "Prover: " + Word.lowercase(phase.toString)
 
   private val session_phase = new Label(phase_text(PIDE.session.phase))
   session_phase.border = new SoftBevelBorder(BevelBorder.LOWERED)
isabelle