src/Pure/Thy/present.scala
changeset 66038 36bf57d6c011
parent 66000 58aa6749ff36
child 66040 f826ba18fe08
     1.1 --- a/src/Pure/Thy/present.scala	Thu Jun 08 12:54:55 2017 +0200
     1.2 +++ b/src/Pure/Thy/present.scala	Thu Jun 08 13:01:50 2017 +0200
     1.3 @@ -57,7 +57,7 @@
     1.4                sessions.map({ case (name, description) =>
     1.5                  (List(HTML.link(name + "/index.html", HTML.text(name))),
     1.6                    if (description == "") Nil
     1.7 -                  else List(HTML.pre(HTML.text(description)))) })))))))
     1.8 +                  else HTML.break ::: List(HTML.pre(HTML.text(description)))) })))))))
     1.9    }
    1.10  
    1.11    def make_global_index(browser_info: Path)