Lines Matching refs:remote
25 % ECLiPSe II remote development tools ECLiPSe side interface
88 (writeln(log_output, "Disconnected from remote tools"),
122 "This library allows the Tk development tools to be used via the remote Tcl
149 summary: "Initiate the attachment of remote development tools",
151 <P>Initiate the attachment of the remote development tools. This will create
152 a connection waiting for the remote development tools to be attached to.
154 the development tools. The remote development tools should be started
164 summary: "A flexible attachment of remote development tools",
166 args: ["Address": "Address for the remote connection (Host/Port or variable)",
172 <P>Initiate the attachment of the remote development tools, providing the
174 predicate will create a connection waiting for the remote development
177 remote development tools to connect. If TimeOut is the atom block, then
180 </P><P>Address is the Host/Port address that the remote connection will be
183 purpose for Goal is to allow the user to start out the remote
185 to manually connect the remote development tools. Control is initially
190 seconds for the remote tools to connect. In these cases, the server
201 % the following will cause the remote tools to start automatically
220 for remote tools to connect, or if Goal fails",
225 summary: "Checks if remote tools are currently attached or not.",
231 Checks if the remote development tools have been attached to this