at.logic.gapt.prooftool
The panel containing the actual content of a ProofTool window.
The main window that this belongs to.
An object that displays some content, e.g., a DrawSequentProof
Font size.
The panel containing the actual content of a ProofTool window.