- Log-in Register
- gdrgpl
- Page Index
- User Index
- Application Index
- Global
- What's New
Search

Home
GTs
GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents

People liking GT HiFi : Méthodes Formelles et Programmation Haute Fidélité pour Systèmes Critiques Émergents

Last modified by Aurélie Hurault on 2020/07/30 12:06

Manage

Copy

Actions

Export
Print Preview

Viewers

Source
Children
Content

Likes

Export

Choose the export format from the list below:

$services.rendering.render($uix.execute(), 'html/5.0') $services.rendering.render($uix.execute(), 'html/5.0') $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 (3)

ODT
Export as Open Document Text (ODT) format using the Office Server
PDF
Export as Portable Document Format (PDF) using the Web Browser
RTF
Export as Rich Text Format (RTF) using the Office Server

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.

select all/ none

Legend:
: Created Page
: Modified Extension Page
: Clean Extension Page

Applications

Dashboard
Help
Interactive Maps
Sandbox

Navigation

XWiki Debian 16.2.0