fmrisc.Proving
Interface ProofStateListener

All Known Implementing Classes:
ProofTreeItem

public interface ProofStateListener


Method Summary
 void hasChanged()
          Called if proof state has changed.
 

Method Detail

hasChanged

void hasChanged()
Called if proof state has changed.