bye, end.
The "quit" command ends the Minima session. While quitting session, a text-only file named "minima.txt" is saved into the user's home directory. This file contains all the commands issued during the session and their results.
minima: quit
No comment.
No reference.