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/thy_load.scala
changeset 48711 8d381fdef898
parent 48710 5b51ccdc8623
child 48827 8791d106e30b 
--- a/src/Pure/Thy/thy_load.scala	Tue Aug 07 17:08:22 2012 +0200
+++ b/src/Pure/Thy/thy_load.scala	Tue Aug 07 17:46:30 2012 +0200
@@ -39,7 +39,7 @@
   /* file-system operations */
 
   def append(dir: String, source_path: Path): String =
-    (Path.explode(dir) + source_path).implode
+    (Path.explode(dir) + source_path).expand.implode
 
   def read_header(name: Document.Node.Name): Thy_Header =
   {
isabelle