Class for displaying a list of expansion trees and a title.
A trait for ProofToolViewer objects that contain (old or new) LK proofs.
A ProofToolViewer for dag proofs.
A ProofToolViewer for dag proofs.
The type of dag proof..
This class takes care of drawing an ExpansionSequent.
ProofToolViewer for expansion sequents.
A ProofToolViewer for LK proofs.
A ProofToolViewer for LK proofs.
The panel containing the actual content of a ProofTool window.
The main scrollpane used in ProofTool
Wrapper from gapt proofs to TreeViz trees
The main window of the ProofTool application.
The main window of the ProofTool application.
The type of content.
This is a wrapper around the Sunburst Tree from the treeviz library.
This is a wrapper around the Sunburst Tree from the treeviz library. It provides a listener for the selection of a node in tree.
A trait for ProofToolViewer objects that can save their contents.
A trait for ProofToolViewer objects that can save their contents.
The type of the content object.
A ProofToolViewer for sequent proofs.
A ProofToolViewer for sequent proofs. Used for LKsk and RAL proofs.
The type of sequent proof.
Class that displays a list of expansion trees.
An object that contains some common menu buttons.