1.1 --- a/src/Pure/Thy/present.scala	Tue Mar 12 22:24:01 2013 +0100
     1.2 +++ b/src/Pure/Thy/present.scala	Tue Mar 12 22:44:03 2013 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4      Isabelle_System.mkdirs(dir)
     1.5  
     1.6      val sessions0 =
     1.7 -      try { read_sessions(dir + sessions_path) }
     1.8 +      try { read_sessions(dir) }
     1.9        catch { case ERROR(_) => Nil case _: XML.XML_Atom => Nil case _: XML.XML_Body => Nil }
    1.10  
    1.11      val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList