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 markup (refining dd56ba1974e6);
authorwenzelm
Fri, 18 Dec 2020 12:57:25 +0100
changeset 72945 756b9cb8a176
parent 72944 50c48773b954
child 72946 9329abcdd651
clarified markup (refining dd56ba1974e6);
src/Pure/PIDE/command.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/command.ML	Fri Dec 18 11:44:34 2020 +0100
+++ b/src/Pure/PIDE/command.ML	Fri Dec 18 12:57:25 2020 +0100
@@ -66,7 +66,7 @@
       | SOME (Url.File _) => ()
       | _ =>
           error ("Prover cannot load remote file " ^
-            Markup.markup (Markup.path file_node) (quote file_node)));
+            Markup.markup (Markup.url file_node) (quote file_node)));
     val full_path = File.check_file (File.full_path master_dir src_path);
     val text = File.read full_path;
     val lines = split_lines text;
isabelle