Quit entirely out of Lisp
Examples: ACL2 !>(good-bye) ; [ACL2 is exited] ACL2 !>(good-bye 3) ; [ACL2 is exited with Unix exit status 3]
Note: Your entire session will disappear forever when you evaluate
The command
This command may not work in some underlying Common Lisp implementations. In such cases, there is no harm in trying; ACL2 will let you know how to proceed if it cannot exit.
In some systems, typing
The optional argument for
If you merely want to exit the ACL2 command loop, use
We conclude with the following technical remark, to be ignored unless you
are trying to do things in raw Lisp that involve quitting the session. The
mechanism that ACL2 and Lisp use for quitting the session is slightly
involved. In particular, if you trace the underlying raw Lisp function