You can create and view a pretty-printed PDF (Portable Document Format) version of a module. Just view the module in a module editor and select File/Produce PDF Version. However, to do this, you must have the pdflatex program installed. This program is distributed with most versions of LaTeX and TeX. A popular source of TeX for PCs is MiKTeX.
The Toolbox runs pdflatex to produce a PDF file with the
same name as the module, but with the extension .pdf
. It displays this
file in a separate page of the module editor, using your computer's default browser
to display the PDF file. (If the browser doesn't have a plug-in that displays PDF files,
you can
find one on the web.)
You can switch between the editable
ASCII version of the module and the PDF version by clicking on the appropriate
tab in the lower-left corner.
Changes made to the module are not automatically made to the PDF version.
To see them, you must create the PDF version again.
On Windows 7 and perhaps other operating systems, the PDF version is displayed outside the Toolbox in a separate window. That window must be closed before you can create a new pretty-printed version. We have not yet figured out how to solve this problem.
There are things you can do to help the pretty printer produce better output. They are described in the Helping the Pretty-Printer help page.
The PDF Viewer Preferences page on the File/Preferences menu provides the following options:
Note that comments within comments are not shown in the PDF view. The one exception is that comments to PlusCal code are shown (even though they and the PlusCal code appear in a comment).