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.
cond_add_path;
authorwenzelm
Sat, 19 Aug 2000 12:48:26 +0200
changeset 9662 896f5c5cfc56
parent 9661 8b3ab0244560
child 9663 e4d58f1be05b
cond_add_path;
src/Pure/Interface/proof_general.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Interface/proof_general.ML	Sat Aug 19 12:47:16 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Sat Aug 19 12:48:26 2000 +0200
@@ -152,7 +152,7 @@
   | None => "");
 
 fun try_update_thy_only file =
-  ThyLoad.cond_with_path (Path.dir (Path.unpack file)) (fn () =>
+  ThyLoad.cond_add_path (Path.dir (Path.unpack file)) (fn () =>
     let val name = thy_name file in
       if is_some (ThyLoad.check_file (ThyLoad.thy_path name)) then update_thy_only name
       else warning ("Unkown theory context of ML file." ^ which_context ())
isabelle