public interface StartSideProofMacro extends ProofMacro
ProofMacro.ProgressBarListener
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROOF_MACRO_FINISHED_INFO_KEY_ORIGINAL_PROOF
Key used in
ProofMacroFinishedInfo to store the original Proof . |
applyTo, applyTo, canApplyTo, canApplyTo, getCategory, getDescription, getName, getScriptCommandName, hasParameter, resetParams, setParameter
static final java.lang.String PROOF_MACRO_FINISHED_INFO_KEY_ORIGINAL_PROOF
ProofMacroFinishedInfo
to store the original Proof
.