Properties
Static DEFAULT_EXPORT
DEFAULT_
EXPORT: Exporter = new JSONExporter()Static DEFAULT_IMPORT
DEFAULT_
IMPORT: Importer = new JSONImporter()Static HISTORY_EXPORT
HISTORY_
EXPORT: Exporter = new JSONExporter()Static HISTORY_IMPORT
HISTORY_
IMPORT: Importer = new JSONImporter()Static LATEX_EXPORT
LATEX_
EXPORT: Exporter = new LatexExporter()