Attachments for NESTML

Last modified by abonard on 2025/06/13 16:09

Manage

Copy

Actions

Export
Print Preview

Viewers

Source
Likes

Export

Choose the export format from the list below:

$services.rendering.render($uix.execute(), 'html/5.0')

Filter

Options for exportFormat You can navigate through the options using arrow keys, the home and end keys. Select the currently highlighted option by pressing enter or space. Right and left arrows will move focus to the next possible option in the list. The Home key will bring focus to the start of the list and the END key to its end. Up and down arrows allow you to navigate quickly to the start of option categories.

Office Formats (1)

PDF
Export as Portable Document Format (PDF) using the Web Browser

Other Formats (1)

HTML
Export as HyperText Markup Language (HTML)

Export as

Select the pages to export:

Created pages The pages created by the user or by XWiki extensions on behalf of the user.
Created and modified pages Includes modified extension pages (usually configuration pages).
All pages Includes unmodified extension pages.