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