- Open the proof in Spark! if it is not already open.
- Use the dropdown list to select the scope of comments and annotations you would like to include in the export PDF.
- Click the Export button. Depending on your browser, operating system, and browser plug-ins, you may be prompted for permission to download the PDF, it may download automatically, or the PDF may open in another browser window.