kframework/k — pull request #812 by radumereuta (2014-08-09 17:16:29+00:00)
Title: Basic2outer

Finally renaming BasicParser into OuterParser.
@grosu please review.