Package jack.plugin.prove

Class Summary

ProofClickListener	Listener that displays an error dialog when a double click on a proof task stopped with error occurs.
ProofContentProvider	Content provider for the proof task view.
ProofTask	Class corresponding to a proof task that must be (or is) performed.
ProofView	View that allows controling and showing proof tasks.
ProveAction	Action allowing adding the selected file to the list of files that should be proved.