Lines Matching refs:sessions
5 Build and manage Isabelle sessions.
380 def sessions: Set[String] = results.keySet
417 sessions: List[String] = Nil,
441 exclude_sessions, session_groups, sessions) ++ selection
463 Sessions.deps(full_sessions.selection(Sessions.Selection(sessions = outdated)),
695 name <- results.sessions.iterator
726 val isabelle_tool = Isabelle_Tool("build", "build and manage Isabelle sessions", args =>
757 -D DIR include session directory and select its sessions
760 -R operate on requirements of selected sessions
762 -X NAME exclude sessions from group NAME and all descendants
763 -a select all sessions
778 Build and manage Isabelle sessions, depending on implicit settings:
803 val sessions = getopts(args)
841 sessions = sessions)
851 (Timing.zero /: results.sessions.iterator.map(a => results(a).timing))(_ + _).
870 sessions = List(logic)).ok) 0
874 dirs = dirs, sessions = List(logic)).rc