{ name }
{
for (owner <- occurrences) yield owner ++ scala.xml.Text(" ")
}
/* NSC -- new Scala compiler
* Copyright 2007-2013 LAMP/EPFL
*/
package scala
package tools
package nsc
package doc
package html
package page
import doc.model._
class DeprecatedIndex(universe: Universe, index: doc.Index) extends HtmlPage {
def path = List("deprecated-list.html")
def title = {
val s = universe.settings
( if (!s.doctitle.isDefault) s.doctitle.value else "" ) +
( if (!s.docversion.isDefault) (" " + s.docversion.value) else "" )
}
def headers =