This section specifies the Mars command-line programs and their options and
The contents of this section is duplicated from the man pages, which may be
read by typing “man <program>”, if they are installed.
Introduction to Mars
Enter search terms or a module, class or function name.