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

Home

Home

Version 66.1 by Mireille Blay-Fornarino on 2020/04/03 17:06

Manage

Copy

Actions

Export
Annotate
Print Preview

Viewers

Source
Children
History

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

Equipes du GDR GPL

Groupes de Travail en construction du GDR GPL

Les grands défis portés par les équipes du GDR GPL

Vers des Logiciels Éco-responsables, Le génie logiciel au défi de la sobriété écologique
Combinatoire certifiée
New Generation Debuggers
La sécurité dans le développement logiciel

Tags: Working Group Software Artificial Intelligence Test

History

Applications

Dashboard
Help
Interactive Maps
Sandbox

Navigation

XWiki Debian 16.2.0