Lines Matching refs:prompt
76 operating system command-line prompt, or select {\tkeclipse} from the
362 operating system command-line prompt.
380 The copyright and version information is followed by the prompt
390 The {\eclipse} prompt \notation{[eclipse 1]:} indicates that {\eclipse}
398 and its name is printed in the prompt.
402 Goals are entered after the prompt and are terminated by fullstop and
406 \notation{CTRL-Z} + \notation{RETURN} (Windows) at the top level prompt,
457 prompt.
458 The system then displays the compiler prompt (which is a blank by default)
467 To return to the top level prompt,
513 or newline, but it displays directly the next prompt.
531 Queries may be extended over more than one line. When this is done the prompt
569 This will suspend the {\eclipse} process and return the UNIX prompt.
590 The current query number is displayed in the toplevel prompt.
768 before displaying the initial prompt, the system checks whether there is a file