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.
Revert previous change (but leave comments).
authoraspinall
Fri, 25 Mar 2005 14:14:01 +0100
changeset 15627 7a108ae4c798
parent 15626 a8f718939500
child 15628 9f912f8fd2df
Revert previous change (but leave comments).
src/Pure/General/url.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/url.ML	Fri Mar 25 14:04:42 2005 +0100
+++ b/src/Pure/General/url.ML	Fri Mar 25 14:14:01 2005 +0100
@@ -67,9 +67,7 @@
   Scan.this_string "file://" |-- scan_host1 -- scan_path >> RemoteFile ||
   Scan.this_string "http://" |-- scan_host1 -- scan_path >> Http ||
   Scan.this_string "ftp://" |-- scan_host1 -- scan_path >> Ftp ||
-  Scan.this_string "file://" |-- scan_host1 -- scan_path >> Ftp (* or other proto *) ||
-  (* NB: this next one is not in RFC 1738, but produced by some Haskell libraries *)
-  Scan.this_string "file:" |-- scan_path >> File 
+  Scan.this_string "file://" |-- scan_host1 -- scan_path >> Ftp (* or other proto *)
 
 in
isabelle