The object to be displayed.
The object to be displayed.
Displays an error message.
Exports a component as a pdf.
Exports a component as a pdf.
The component to be exported.
Exports a component as a PNG.
Exports a component as a PNG.
The component to be exported.
Opens a proof db and displays all its contents.
Opens a proof db and displays all its contents.
Saves an object to disk.
Saves an object to disk.
The contents of the "File" menu.
Hides all formulas except main and auxiliary ones.
Hides all formulas except main and auxiliary ones.
Hides structural rules in the proof.
Hides structural rules in the proof.
Displays an info message.
Marks the ancestors of cut formulas.
Marks the ancestors of cut formulas.
The name to be displayed at the top.
The name to be displayed at the top.
Displays a question.
Removes all markings.
Removes all markings.
Resizes the content to a new font size.
Shows all formulas in the proof
Shows all formulas in the proof
Shows all rules in the proof.
Shows all rules in the proof.
The contents of the "View" menu.
Displays a warning message.
Zooms in by multiplying font size by 3/2.
Zooms in by multiplying font size by 3/2.
Zooms out by multiplying font size by 2/3.
Zooms out by multiplying font size by 2/3.