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.
prefer symbolic path: it is potentially persisted;
authorwenzelm
Mon, 05 Nov 2018 15:00:55 +0100
changeset 69238 d98cfb369cbd
parent 69237 76696742fd30
child 69239 6cd985a78d6e
prefer symbolic path: it is potentially persisted;
src/Pure/PIDE/resources.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/resources.ML	Mon Nov 05 15:00:22 2018 +0100
+++ b/src/Pure/PIDE/resources.ML	Mon Nov 05 15:00:55 2018 +0100
@@ -138,7 +138,7 @@
 
 fun begin_theory master_dir {name, imports, keywords} parents =
   Theory.begin_theory name parents
-  |> map_files (fn _ => (master_dir, imports, []))
+  |> map_files (fn _ => (Path.explode (Path.smart_implode master_dir), imports, []))
   |> Thy_Header.add_keywords keywords;
isabelle