rvirding/erlog — pull request #7 by zkessin (2014-03-31 08:58:24+00:00)
Title: now can supply the goal as a string

prove can now take a string and scan/parse it