1. Open the proof in Spark! if it is not already open.

2. Use the dropdown list to select the scope of comments and annotations you would like to include in the export PDF.

3. 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.