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/Pure/Admin/build_status.scala
changeset 65939 9fb044904a4d
parent 65895 744878d72021
child 65940 9c7241798c3b 
--- a/src/Pure/Admin/build_status.scala	Fri May 26 21:40:52 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Fri May 26 23:21:50 2017 +0200
@@ -262,7 +262,7 @@
             (data_entry.failed_sessions match {
               case Nil => Nil
               case sessions =>
-                HTML.break ::: List(HTML.error_message_span("Failed:")) :::
+                HTML.break ::: List(HTML.span(HTML.text("Failed:")) + HTML.error_message_class) :::
                 HTML.text(" " +
                   commas(sessions.map(s => s.name + " (" + s.head.isabelle_version + ")")))
             })
isabelle