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/Pure/Thy/present.ML
changeset 38133 987680d2e77d
parent 37940 4857eab31298
child 39616 8052101883c3 
--- a/src/Pure/Thy/present.ML	Tue Aug 03 08:23:08 2010 +0200
+++ b/src/Pure/Thy/present.ML	Tue Aug 03 15:53:36 2010 +0200
@@ -462,7 +462,7 @@
 
     val files_html = files |> map (fn (raw_path, loadit) =>
       let
-        val path = #1 (Thy_Load.check_file dir raw_path);
+        val path = #1 (Thy_Load.check_file [dir] raw_path);
         val base = Path.base path;
         val base_html = html_ext base;
         val _ = add_file (Path.append html_prefix base_html,
isabelle