Lines Matching refs:context
82 /* context and session */
143 context =>
188 else List(new Session(context, session_logic, log, selected_sessions, record_proofs))
248 val context: Context,
257 if (record_proofs) context.session_options + "record_proofs=2"
258 else context.session_options
260 private def deps = context.deps
261 private def progress = context.progress
265 session_dirs = context.session_dirs,
322 if (context.process_theory(name.theory)) {
382 context.add_errors(bad_msgs ::: pending_msgs)
405 val context =
409 context.build_logic(logic)
411 for (session <- context.sessions(logic = logic, log = log)) {
416 Aspect_Args(session.options, context.deps, progress, output_dir,
422 context.check_errors