# HG changeset patch
# User wenzelm
# Date 1488467109 -3600
# Node ID 9d53b892140afc7656ee8768632b37f479f035fb
# Parent  23202c455a3ed92fd1bc7c77702116669703f223
clarified;

diff -r 23202c455a3e -r 9d53b892140a src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Thu Mar 02 16:01:30 2017 +0100
+++ b/src/Pure/General/http.scala	Thu Mar 02 16:05:09 2017 +0100
@@ -110,13 +110,13 @@
   /** Isabelle resources **/
 
   lazy val isabelle_resources: List[Handler] =
-    List(welcome(), fonts())
+    List(welcome, fonts())
 
 
   /* welcome */
 
-  def welcome(root: String = "/"): Handler =
-    get(root, uri =>
+  val welcome: Handler =
+    get("/", uri =>
       if (uri.toString == "/") {
         val id =
           Isabelle_System.getenv("ISABELLE_ID") match {