src/Pure/Thy/present.scala

--- a/src/Pure/Thy/present.scala	Tue May 14 16:54:47 2013 +0200
+++ b/src/Pure/Thy/present.scala	Tue May 14 19:30:21 2013 +0200
@@ -40,7 +40,7 @@
 
     val sessions0 =
       try { read_sessions(dir) }
-      catch { case _: XML.XML_Atom => Nil case _: XML.XML_Body => Nil }
+      catch { case _: XML.Error => Nil }
 
     val sessions = (SortedMap.empty[String, String] ++ sessions0 ++ new_sessions).toList