edwinb/Idris-dev — pull request #48 by raichoo (2012-09-06 20:12:16+00:00)
Title: Final adjustment to proof handling

:rmproof :addproof now take proofname
:proofs is split into :proofs and :showproof