Searched refs:select (Results 26 - 50 of 123) sorted by relevance

12345

/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Djedit_rendering.scala190 snapshot.select(range, JEdit_Rendering.indentation_elements, _ =>
202 snapshot.select(range, JEdit_Rendering.breakpoint_elements, command_states =>
216 snapshot.select(range, Rendering.caret_focus_elements, _ =>
227 snapshot.select(range, JEdit_Rendering.highlight_elements, _ =>
276 snapshot.select(range, Rendering.active_elements, command_states =>
385 snapshot.select(range, JEdit_Rendering.bullet_elements, _ =>
H A Dkeymap_merge.scala127 private def select(head: Int, tail: List[Int], b: Boolean): Unit =
174 case None => select(row, entry.tail, b)
177 select(head_row, head_entry.tail, !b)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_rendering.scala190 snapshot.select(range, JEdit_Rendering.indentation_elements, _ =>
202 snapshot.select(range, JEdit_Rendering.breakpoint_elements, command_states =>
216 snapshot.select(range, Rendering.caret_focus_elements, _ =>
227 snapshot.select(range, JEdit_Rendering.highlight_elements, _ =>
276 snapshot.select(range, Rendering.active_elements, command_states =>
385 snapshot.select(range, JEdit_Rendering.bullet_elements, _ =>
H A Dkeymap_merge.scala127 private def select(head: Int, tail: List[Int], b: Boolean): Unit =
174 case None => select(row, entry.tail, b)
177 select(head_row, head_entry.tail, !b)
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepScript.sml329 fun select s tm thm = function
337 val select_half_le = select "select_half_le" tm_le select_half_le
338 val select_half_be = select "select_half_be" ``^tm_le ?? 6w`` select_half_be
339 val select_pc_le = select "select_pc_le" pctm_le select_word_le
340 val select_pc_be = select "select_pc_be" ``^pctm_le ?? 4w`` select_word_be
341 val select_word_le = select "select_word_le" tm_le select_word_le
342 val select_word_be = select "select_word_be" ``^tm_le ?? 4w`` select_word_be
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_log.scala754 SQL.select(List(version1, version2), distinct = true) + meta_info_table +
798 table.select(table.columns,
810 table1.select(List(log_name), distinct = true) + SQL.join_inner + table2.query_named +
821 val aux_table = SQL.Table("aux", table2.columns, table2.select(sql = sql))
826 SQL.select(columns, distinct = true) +
847 SQL.select(List(log_name, afp_pull_date) ::: table1.columns.tail.map(_.apply(table1))) +
855 SQL.select(
863 SQL.select(log_name(b_table) :: c_columns.tail) +
869 SQL.select(c_columns.map(_.apply(c_table)) ::: List(ml_statistics)) +
977 db.using_statement(table.select(Lis
[all...]
H A Disabelle_cronjob.scala127 val select =
131 db.using_statement(select)(stmt =>
H A Dbuild_status.scala32 def select(options: Options, columns: List[SQL.Column], only_sessions: Set[String]): SQL.Source =
34 Build_Log.Data.universal_table.select(columns, distinct = true,
240 val sql = profile.select(options, columns, only_sessions)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_log.scala754 SQL.select(List(version1, version2), distinct = true) + meta_info_table +
798 table.select(table.columns,
810 table1.select(List(log_name), distinct = true) + SQL.join_inner + table2.query_named +
821 val aux_table = SQL.Table("aux", table2.columns, table2.select(sql = sql))
826 SQL.select(columns, distinct = true) +
847 SQL.select(List(log_name, afp_pull_date) ::: table1.columns.tail.map(_.apply(table1))) +
855 SQL.select(
863 SQL.select(log_name(b_table) :: c_columns.tail) +
869 SQL.select(c_columns.map(_.apply(c_table)) ::: List(ml_statistics)) +
977 db.using_statement(table.select(Lis
[all...]
H A Disabelle_cronjob.scala127 val select =
131 db.using_statement(select)(stmt =>
H A Dbuild_status.scala32 def select(options: Options, columns: List[SQL.Column], only_sessions: Set[String]): SQL.Source =
34 Build_Log.Data.universal_table.select(columns, distinct = true,
240 val sql = profile.select(options, columns, only_sessions)
/seL4-l4v-10.1.1/HOL4/examples/dev/Fact32/
H A DFact32.ml97 (* Change these variables to select simulator and viewer. Commenting out the *)
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DGrammarSpecials.sml37 val recsel_special = " _ record select"
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibResolution.sml157 fun select res = function
209 case select res of NONE => NONE
254 case select res of NONE => (swipe res; S.NIL)
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Drendering.scala241 snapshot.select(caret_range, Rendering.semantic_completion_elements, _ =>
270 snapshot.select(range, Rendering.language_context_elements, _ =>
283 snapshot.select(range, Rendering.citation_elements, _ =>
294 snapshot.select(range, Rendering.language_elements, _ =>
368 snapshot.select(range, spell_checker_elements, _ =>
447 snapshot.select(range, Rendering.foreground_elements, _ =>
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Drendering.scala241 snapshot.select(caret_range, Rendering.semantic_completion_elements, _ =>
270 snapshot.select(range, Rendering.language_context_elements, _ =>
283 snapshot.select(range, Rendering.citation_elements, _ =>
294 snapshot.select(range, Rendering.language_elements, _ =>
368 snapshot.select(range, spell_checker_elements, _ =>
447 snapshot.select(range, Rendering.foreground_elements, _ =>
/seL4-l4v-10.1.1/HOL4/examples/dev/
H A DFact.ml88 (* Change these variables to select simulator and viewer. Commenting out the *)
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/
H A DskiTools.sml274 fun select ((vars', work), a) = (ski_unifyl (union2 vars vars') work, a) function
275 val res = partial_map (total select) shortlist
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DTreeNode.java81 public boolean select() method in class:TreeNode
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DTreeNode.java81 public boolean select() method in class:TreeNode
/seL4-l4v-10.1.1/HOL4/src/1/
H A DboolSyntax.sml25 val select = prim_mk_const {Name = "@", Thy = "min"} value
55 val mk_select = mk_binder select "mk_select"
131 val dest_select = dest_binder select (ERR "dest_select" "not a \"@\"")
/seL4-l4v-10.1.1/seL4/manual/parts/
H A Dnotifications.tex43 select-style wait on the set of semaphores: If the notification word is
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairSyntax.sml223 mk_comb (inst [alpha |-> type_of vstruct] select, mk_pabs p)
273 val dest_pselect = dest_pbinder select SELECT_ERR
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dsql.scala47 def select(columns: List[Column] = Nil, distinct: Boolean = false): Source =
177 def select(
179 SQL.select(select_columns, distinct = distinct) + ident +
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dsql.scala47 def select(columns: List[Column] = Nil, distinct: Boolean = false): Source =
177 def select(
179 SQL.select(select_columns, distinct = distinct) + ident +

Completed in 123 milliseconds

12345