idris-lang/Idris-dev — pull request #1115 by puffnfresh (2014-04-27 03:44:54+00:00)
Title: Remove whitespace for :addproof - like :load does

This should probably happen for all commands which take a filename.