Searched defs:title (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/isabelle/lib/browser/awtUtilities/ |
H A D | TextFrame.java | 18 public TextFrame(String title,String text) { argument
|
H A D | MessageDialog.java | 23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
|
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/awtUtilities/ |
H A D | TextFrame.java | 18 public TextFrame(String title,String text) { argument
|
H A D | MessageDialog.java | 23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Exn.sml | 84 val title = "Exception trace - " ^ exn_message exn; value
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | Hol_pp.sml | 109 fun title s = add_string(String.concat ["<h1>",s,"</h1>"]); function
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Dialog.sml | 268 val title = getString() value 314 val title = value 392 val title = unicodeString(#title t) value 423 val title = value [all...] |
Completed in 103 milliseconds