Searched refs:attach_tools (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | remote_tools.pl | 38 :- untraceable tools/0, attach_tools/0,attached/1. 39 :- export attach_tools/0, attach_tools/3, tools/0, attached/1. 41 :- tool(attach_tools/3, attach_tools/4). 46 attach_tools :- label 51 attach_tools(Address, Block, Goal, Module) :- 83 attach_tools(HostPort, 10, launch_tools(HostPort)), 115 :- skipped tools/0, attach_tools/0. 144 see_also: [attach_tools/ 196 attach_tools :- label [all...] |
/barrelfish-master/usr/eclipseclp/lib_tcl/ |
H A D | tktools.tcl | 124 proc attach_tools {} { procedure 187 to (Use attach_tools/0 from lib(remote_tools) in ECLiPSe session)."] \ 196 pack [button .e.ok -text "OK" -command attach_tools] -expand true -fill both -side bottom 200 bind .e.port.e <Return> attach_tools 209 attach_tools
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umstkeclipse.tex | 334 \bipref{attach_tools/0}{../bips/lib/remote_tools/attach_tools-0.html}: 338 [eclipse 2]: attach_tools. 360 \predspec{attach_tools/0} must be entered: 368 displayed. The \predspec{attach_tools/0} predicate will also return.
|
Completed in 39 milliseconds