Command line parsing, the concept of publishing goals.
[goaljobs.git] / pa_goal.ml
2013-09-16 Richard W.M. JonesCommand line parsing, the concept of publishing goals.
2013-09-16 Richard W.M. JonesFirst published version.