Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified URL (again);
authorwenzelm
Mon, 21 Feb 2022 13:17:52 +0100
changeset 75110 3c8f24e9eff1
parent 75109 e6162afc5460
child 75111 ecaac5050ec2
clarified URL (again);
src/Pure/General/http.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/http.scala	Mon Feb 21 13:15:35 2022 +0100
+++ b/src/Pure/General/http.scala	Mon Feb 21 13:17:52 2022 +0100
@@ -315,7 +315,7 @@
 
   /* welcome */
 
-  def welcome(name: String = "welcome"): Service =
+  def welcome(name: String = ""): Service =
     Service.get(name, request =>
       {
         if (request.toplevel) {
isabelle