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.
proper path -- I/O was hidden due to permissiveness;
authorwenzelm
Tue, 12 Mar 2013 22:44:03 +0100
changeset 51406 950b897f95bb
parent 51405 2aea76fe9c73
child 51408 b9b273699c26
proper path -- I/O was hidden due to permissiveness;
src/Pure/Thy/present.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/present.scala	Tue Mar 12 22:24:01 2013 +0100
+++ b/src/Pure/Thy/present.scala	Tue Mar 12 22:44:03 2013 +0100
@@ -35,7 +35,7 @@
     Isabelle_System.mkdirs(dir)
 
     val sessions0 =
-      try { read_sessions(dir + sessions_path) }
+      try { read_sessions(dir) }
       catch { case ERROR(_) => Nil case _: XML.XML_Atom => Nil case _: XML.XML_Body => Nil }
 
     val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList
isabelle