edwinb/Idris-dev — pull request #283 by andy-morris (2013-04-15 11:42:26+00:00)
Title: If "F" doesn't exist, :addproof checks "F.idr" as well

You can run Idris on F.idr with `idris F`, but then `:addproof` can't
find the file.