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.
tuned comments;
authorwenzelm
Sat, 08 Apr 2023 20:26:32 +0200
changeset 77796 f5aca3ed1adb
parent 77795 4c4bd44ff683
child 77797 2f289a22ae00
tuned comments;
src/Pure/General/url.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/url.scala	Sat Apr 08 20:21:30 2023 +0200
+++ b/src/Pure/General/url.scala	Sat Apr 08 20:26:32 2023 +0200
@@ -102,7 +102,7 @@
   def canonical_file_name(uri: String): String = canonical_file(uri).getPath
 
 
-  /* generic path notation: standard, platform, ssh, rsync, ftp, http */
+  /* generic path notation: standard, platform, ssh, rsync, ftp, http, https */
 
   private val separators1 = "/\\"
   private val separators2 = ":/\\"
isabelle