Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_target.ML
changeset 56208 06cc31dff138
parent 56201 dd2df97b379b
child 56811 b66639331db5 
--- a/src/Tools/Code/code_target.ML	Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Tools/Code/code_target.ML	Tue Mar 18 17:39:03 2014 +0100
@@ -380,7 +380,8 @@
   | assert_module_name module_name = module_name;
 
 fun using_master_directory ctxt =
-  Option.map (Path.append (File.pwd ()) o Path.append (Thy_Load.master_directory (Proof_Context.theory_of ctxt)));
+  Option.map (Path.append (File.pwd ()) o
+    Path.append (Resources.master_directory (Proof_Context.theory_of ctxt)));
 
 in
isabelle