Export allows you to generate selected lists of instances and export them in various formats. Currently, export formats are restricted to LaTex.
- Export Instances: offers options to export instances in specific groups.
For several specific groups, special tools for exporting are provided. These groups include:
- Export References: allows to export references.