Lines Matching refs:new
68 For each CALL port a new procedure box is created and is given:
117 the box can be retried later to get a new solution. This will happen when a
188 not enter or leave a box. However, a new \emph{invocation number} is assigned
376 the debugger will stop and await new commands.
709 line is printed and a new command is accepted.
848 %new mode is "QvPm"
1157 The new current subterm is printed, followed by the INSPECT
1445 the command tries to move the new current subterm to the third argument of
1605 new output mode is "TQPm".
1634 new output mode is "TQPm".
1642 new output mode is "QPm".
1705 new output mode is "VQPm".
1708 new output mode is "OQVPm".
1711 new output mode is ".OQVPm".
1805 A new top-level loop is started with the debugger switched off.
1873 is used to create new ports similar to CALL ports, but the port name
1874 can be chosen freely. Such a port creates a new box. There must be
1961 Connecting new interfaces is relatively easy, for more detailed