Can now add, edit and delete proofs.
Added the ability to add dependencies though the interface.