src/Pure/Admin/build_status.scala
changeset 65992 50daca61efd6
parent 65946 5dd3974cf0bc
child 66254 6b5684ee07d9
     1.1 --- a/src/Pure/Admin/build_status.scala	Thu Jun 01 12:27:20 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Thu Jun 01 15:19:50 2017 +0200
     1.3 @@ -273,7 +273,7 @@
     1.4                case Nil => Nil
     1.5                case sessions =>
     1.6                  HTML.break :::
     1.7 -                List(HTML.error_message(HTML.span(HTML.text("Failed sessions:")))) :::
     1.8 +                List(HTML.span(HTML.error_message, HTML.text("Failed sessions:"))) :::
     1.9                  List(HTML.itemize(sessions.map(s => s.head.present_errors(s.name))))
    1.10              })
    1.11            }))))))
    1.12 @@ -416,7 +416,7 @@
    1.13                HTML.text(" (" + session.head.timing.message_resources + ")"))))) ::
    1.14          data_entry.sessions.flatMap(session =>
    1.15            List(
    1.16 -            HTML.id("session_" + session.name)(HTML.section(session.name)),
    1.17 +            HTML.section(HTML.id("session_" + session.name), session.name),
    1.18              HTML.par(
    1.19                HTML.description(
    1.20                  List(