Toggle the horizontal menu.
Choose the export format from the list below:
Filter
Export as Portable Document Format (PDF) using the Web Browser
Export as HyperText Markup Language (HTML)
Select the pages to export:
Contains older release notes for the LaTeX extensions.