/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_rendering.scala | 190 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 D | keymap_merge.scala | 127 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 D | jedit_rendering.scala | 190 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 D | keymap_merge.scala | 127 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 D | mips_stepScript.sml | 329 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 D | build_log.scala | 754 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 D | isabelle_cronjob.scala | 127 val select = 131 db.using_statement(select)(stmt =>
|
H A D | build_status.scala | 32 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 D | build_log.scala | 754 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 D | isabelle_cronjob.scala | 127 val select = 131 db.using_statement(select)(stmt =>
|
H A D | build_status.scala | 32 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 D | Fact32.ml | 97 (* Change these variables to select simulator and viewer. Commenting out the *)
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | GrammarSpecials.sml | 37 val recsel_special = " _ record select"
|
/seL4-l4v-10.1.1/HOL4/src/metis/ |
H A D | mlibResolution.sml | 157 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 D | rendering.scala | 241 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 D | rendering.scala | 241 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 D | Fact.ml | 88 (* Change these variables to select simulator and viewer. Commenting out the *)
|
/seL4-l4v-10.1.1/HOL4/examples/miller/ho_prover/ |
H A D | skiTools.sml | 274 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 D | TreeNode.java | 81 public boolean select() method in class:TreeNode
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | TreeNode.java | 81 public boolean select() method in class:TreeNode
|
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | boolSyntax.sml | 25 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 D | notifications.tex | 43 select-style wait on the set of semaphores: If the notification word is
|
/seL4-l4v-10.1.1/HOL4/src/coretypes/ |
H A D | pairSyntax.sml | 223 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 D | sql.scala | 47 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 D | sql.scala | 47 def select(columns: List[Column] = Nil, distinct: Boolean = false): Source = 177 def select( 179 SQL.select(select_columns, distinct = distinct) + ident +
|