src/Pure/Admin/build_status.scala
changeset 65939 9fb044904a4d
parent 65895 744878d72021
child 65940 9c7241798c3b
     1.1 --- a/src/Pure/Admin/build_status.scala	Fri May 26 21:40:52 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Fri May 26 23:21:50 2017 +0200
     1.3 @@ -262,7 +262,7 @@
     1.4              (data_entry.failed_sessions match {
     1.5                case Nil => Nil
     1.6                case sessions =>
     1.7 -                HTML.break ::: List(HTML.error_message_span("Failed:")) :::
     1.8 +                HTML.break ::: List(HTML.span(HTML.text("Failed:")) + HTML.error_message_class) :::
     1.9                  HTML.text(" " +
    1.10                    commas(sessions.map(s => s.name + " (" + s.head.isabelle_version + ")")))
    1.11              })