Searched defs:text (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Derrors.cpp1323 bool errorCodeFromString(const char *text, int *err) argument
/seL4-l4v-10.1.1/isabelle/lib/browser/awtUtilities/
H A DTextFrame.java18 public TextFrame(String title,String text) { argument
H A DMessageDialog.java23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/awtUtilities/
H A DTextFrame.java18 public TextFrame(String title,String text) { argument
H A DMessageDialog.java23 public MessageDialog(Frame parent,String title,String text,String []buttons) { argument
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dhdr.sml35 val text = ref (nil: string list) value
H A Dsigs.sml36 val text : string list ref value
/seL4-l4v-10.1.1/l4v/misc/git-commit-emails/
H A Dcommit-email.py36 import email.mime.text namespace
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/Examples/
H A DmlEdit.sml284 val text = GetWindowText edit value
435 val text = GetWindowText edit value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_coreScript.sml23 val text = all_lines () value
/seL4-l4v-10.1.1/HOL4/Manual/Guide/
H A Dguide.tex[all...]

Completed in 123 milliseconds