The name to be displayed at the top.
The proof to be displayed.
Displays an error message.
Displays the expansion proof of proof in a new window.
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 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 rules in the proof.
Shows all rules in the proof.
Displays the dag proof in sunburst form.
Displays the dag proof in sunburst form.
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.
A ProofToolViewer for LK proofs.