Searched defs:browser (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DHelp.sig11 val browser : (string -> unit) ref value
H A DHelp.sml310 val browser = ref defaultBrowser value
[all...]
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraphView.java20 GraphBrowser browser; field in class:GraphView
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraphView.java20 GraphBrowser browser; field in class:GraphView

Completed in 31 milliseconds