public interface ProofEnvironmentListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
proofRegistered(ProofEnvironmentEvent event) |
void |
proofUnregistered(ProofEnvironmentEvent event) |
void proofRegistered(ProofEnvironmentEvent event)
void proofUnregistered(ProofEnvironmentEvent event)