Searched refs:active (Results 51 - 63 of 63) sorted by relevance

123

/seL4-l4v-master/isabelle/src/Tools/VSCode/src/
H A Dvscode_rendering.scala35 Rendering.Color.background_colors - Rendering.Color.active - Rendering.Color.active_result -
/seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_rendering.scala277 /* active elements */
279 def active(range: Text.Range): Option[Text.Info[XML.Elem]] =
H A Drich_text_area.scala116 /* active areas within the text */
170 (rendering: JEdit_Rendering) => rendering.active _, Some(Cursor.DEFAULT_CURSOR))
317 // active area -- potentially from other snapshot
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/
H A Dvscode_rendering.scala35 Rendering.Color.background_colors - Rendering.Color.active - Rendering.Color.active_result -
/seL4-l4v-master/isabelle/src/Tools/jEdit/src/
H A Drich_text_area.scala116 /* active areas within the text */
170 (rendering: JEdit_Rendering) => rendering.active _, Some(Cursor.DEFAULT_CURSOR))
317 // active area -- potentially from other snapshot
/seL4-l4v-master/seL4/manual/parts/
H A Dio.tex295 Each context bank allows the SMMU to maintain an active translation context with
439 not possible with multiple active context banks.
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DMenu.sml122 (* Check here means "make active", the opposite of uncheck *)
/seL4-l4v-master/HOL4/polyml/basis/
H A DThread.sml140 to be active.*)
H A DTopLevelPolyML.sml494 val socket = INetSock.TCP.socket(): Socket.active INetSock.stream_sock
/seL4-l4v-master/HOL4/Manual/Description/
H A DholCheck.tex498 Clearly, \(\mu\)-calculus ``variables'' as modelled above are not treated as variables by \HOL{}. We use strings because \HOL{} does not have native support for variable binding in higher-order abtract syntax (this is an active research area). The treatment of free and bound variables within \hc{} is however consistent with standard definitions.
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A DholCheck.tex498 Clearly, \(\mu\)-calculus ``variables'' as modelled above are not treated as variables by \HOL{}. We use strings because \HOL{} does not have native support for variable binding in higher-order abtract syntax (this is an active research area). The treatment of free and bound variables within \hc{} is however consistent with standard definitions.
H A Dsystem.tex2191 %activated. The list of currently active abbreviations in a theory
/seL4-l4v-master/HOL4/examples/HolCheck/
H A DmuCheck.sml539 val _ = if ado then dbgTools.DST (dpfx^ "ADO active\n") else dbgTools.DST (dpfx^ "no ADO\n") (*DBG*)

Completed in 136 milliseconds

123