1.1 --- a/src/Pure/System/session_manager.scala	Mon Jul 04 20:18:19 2011 +0200
     1.2 +++ b/src/Pure/System/session_manager.scala	Mon Jul 04 22:11:32 2011 +0200
     1.3 @@ -10,7 +10,7 @@
     1.4  import java.io.{File, FileFilter}
     1.5  
     1.6  
     1.7 -class Session_Manager(system: Isabelle_System)
     1.8 +class Session_Manager
     1.9  {
    1.10    val ROOT_NAME = "session.root"
    1.11  
    1.12 @@ -42,7 +42,8 @@
    1.13    def component_sessions(): List[List[String]] =
    1.14    {
    1.15      val toplevel_sessions =
    1.16 -      system.components().map(s => system.platform_file(Path.explode(s))).filter(is_session_dir)
    1.17 +      Isabelle_System.components().map(s =>
    1.18 +        Isabelle_System.platform_file(Path.explode(s))).filter(is_session_dir)
    1.19      ((Nil: List[List[String]]) /: toplevel_sessions)(find_sessions(Nil, _, _)).reverse
    1.20    }
    1.21  }