Searched refs:Options (Results 26 - 50 of 137) sorted by relevance

123456

/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A D	build_doc.scala	18 options: Options, 77 var options = Options.init() 83 Options are:
/seL4-l4v-master/l4v/isabelle/src/Pure/System/
H A D	isabelle_process.scala	16 options: Options, 37 options: Options,
/seL4-l4v-master/isabelle/src/Tools/Graphview/
H A D	graph_file.scala	38 def write(options: Options, file: JFile, graph: Graph_Display.Graph)
/seL4-l4v-master/l4v/isabelle/src/Tools/Graphview/
H A D	graph_file.scala	38 def write(options: Options, file: JFile, graph: Graph_Display.Graph)
/seL4-l4v-master/isabelle/src/Pure/General/
H A D	ssh.scala	51 def connect_timeout(options: Options): Int = 54 def alive_interval(options: Options): Int = 57 def alive_count_max(options: Options): Int = 63 def init_context(options: Options): Context = 86 def open_session(options: Options, host: String, user: String = "", port: Int = 0, 93 class Context private[SSH](val options: Options, val jsch: JSch) 95 def update_options(new_options: Options): Context = new Context(new_options, jsch) 306 val options: Options, 312 def update_options(new_options: Options): Session =
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A D	ssh.scala	51 def connect_timeout(options: Options): Int = 54 def alive_interval(options: Options): Int = 57 def alive_count_max(options: Options): Int = 63 def init_context(options: Options): Context = 86 def open_session(options: Options, host: String, user: String = "", port: Int = 0, 93 class Context private[SSH](val options: Options, val jsch: JSch) 95 def update_options(new_options: Options): Context = new Context(new_options, jsch) 306 val options: Options, 312 def update_options(new_options: Options): Session =
/seL4-l4v-master/isabelle/src/Pure/Tools/
H A D	update.scala	12 def update(options: Options, logic: String, 76 var options = Options.init() 83 Options are:
H A D	dump.scala	17 options: Options, 95 options: Options, 104 val session_options: Options = 134 val options: Options, 140 val session_options: Options, 256 val options: Options = 395 options: Options, 441 var options = Options.init() 448 Options are:
H A D	scala_project.scala	130 Options are:
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/
H A D	update.scala	12 def update(options: Options, logic: String, 76 var options = Options.init() 83 Options are:
H A D	dump.scala	17 options: Options, 95 options: Options, 104 val session_options: Options = 134 val options: Options, 140 val session_options: Options, 256 val options: Options = 395 options: Options, 441 var options = Options.init() 448 Options are:
H A D	scala_project.scala	130 Options are:
/seL4-l4v-master/isabelle/src/Pure/ML/
H A D	ml_console.scala	22 var options = Options.init() 28 Options are:
/seL4-l4v-master/l4v/isabelle/src/Pure/ML/
H A D	ml_console.scala	22 var options = Options.init() 28 Options are:
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A D	metis.sml	62 open Useful Options; 98 options = specialOptions @ Options.basicOptions}; 100 fun exit x : unit = Options.exit programOptions x; 101 fun succeed () = Options.succeed programOptions; 102 fun fail mesg = Options.fail programOptions mesg; 103 fun usage mesg = Options.usage programOptions mesg; 109 val (_,work) = Options.processOptions programOptions args
H A D	Options.sig	6 signature Options = signature
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A D	metis.sml	62 open Useful Options; 98 options = specialOptions @ Options.basicOptions}; 100 fun exit x : unit = Options.exit programOptions x; 101 fun succeed () = Options.succeed programOptions; 102 fun fail mesg = Options.fail programOptions mesg; 103 fun usage mesg = Options.usage programOptions mesg; 109 val (_,work) = Options.processOptions programOptions args
H A D	Options.sig	6 signature Options = signature
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A D	grammar.scala	146 Options are: 161 Sessions.base_info(Options.init(), logic, dirs = dirs).check_base.overall_syntax.keywords
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A D	grammar.scala	146 Options are: 161 Sessions.base_info(Options.init(), logic, dirs = dirs).check_base.overall_syntax.keywords
/seL4-l4v-master/isabelle/src/Pure/Thy/
H A D	sessions.scala	56 used_theories: List[(Document.Node.Name, Options)] = Nil, 339 options: Options, 350 def base_info(options: Options, 439 options: Options, 441 theories: List[(Options, List[(String, Position.T)])], 466 def make_info(options: Options, dir_selected: Boolean, dir: Path, chapter: String, 713 options: Options, 786 options: List[Options.Spec], 789 theories: List[(List[Options.Spec], List[((String, Position.T), Boolean)])], 793 def theories_no_position: List[(List[Options [all...]
/seL4-l4v-master/l4v/isabelle/src/Pure/Thy/
H A D	sessions.scala	56 used_theories: List[(Document.Node.Name, Options)] = Nil, 339 options: Options, 350 def base_info(options: Options, 439 options: Options, 441 theories: List[(Options, List[(String, Position.T)])], 466 def make_info(options: Options, dir_selected: Boolean, dir: Path, chapter: String, 713 options: Options, 786 options: List[Options.Spec], 789 theories: List[(List[Options.Spec], List[((String, Position.T), Boolean)])], 793 def theories_no_position: List[(List[Options [all...]
/seL4-l4v-master/HOL4/src/num/theories/
H A D	basicSize.sml	55 (* Options *)
/seL4-l4v-master/isabelle/src/Tools/Metis/
H A D	Makefile	87 src/Options.sig src/Options.sml
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/
H A D	Makefile	87 src/Options.sig src/Options.sml

Completed in 95 milliseconds

123456

Indexes created Sun Jun 30 11:05:36 MDT 2024