control-d then it seems, on occasion, to get
interpreted as nil. Without this command, one seems to get into an
infinite loop.
used for interpreting control-d
Major Section: PROOF-CHECKER-COMMANDS
Example and General form: nil(or,
control-d).
The whole point of this command is that in some Lisps (including
akcl), if you type control-d then it seems, on occasion, to get
interpreted as nil. Without this command, one seems to get into an
infinite loop.