src/Pure/General/http.scala

 
 
   /** Isabelle services **/
 
   def isabelle_services: List[Service] =
-    List(new Welcome(), new Fonts(), new PDFjs(), new Docs())
+    List(Welcome_Service, Fonts_Service, PDFjs_Service, Docs_Service)
 
 
   /* welcome */
+
+  object Welcome_Service extends Welcome()
 
   class Welcome(name: String = "") extends Service(name)
   {
     def apply(request: Request): Option[Response] =
       if (request.toplevel) {

       else None
   }
 
 
   /* fonts */
+
+  object Fonts_Service extends Fonts()
 
   class Fonts(name: String = "fonts") extends Service(name)
   {
     private lazy val html_fonts: List[Isabelle_Fonts.Entry] =
       Isabelle_Fonts.fonts(hidden = true)

       }
   }
 
 
   /* pdfjs */
+
+  object PDFjs_Service extends PDFjs()
 
   class PDFjs(name: String = "pdfjs") extends Service(name)
   {
     def apply(request: Request): Option[Response] =
       for {

       } yield Response.read(path)
   }
 
 
   /* docs */
+
+  object Docs_Service extends Docs()
 
   class Docs(name: String = "docs") extends PDFjs(name)
   {
     private val doc_contents = isabelle.Doc.main_contents()