goaljobs.git
2013-09-17 Richard W.M... configure: Add quotes in error message.
2013-09-17 Richard W.M... Implement // and quote.
2013-09-17 Richard W.M... Implement url_exists, file_contains_string, url_contain...
2013-09-17 Richard W.M... Rename config.ml -> goaljobs_config.ml to avoid conflic...
2013-09-16 Richard W.M... Command line parsing, the concept of publishing goals.
2013-09-16 Richard W.M... Write 'goaljobs' script (wrapper around the compiler).
2013-09-16 Richard W.M... Update NOTES.
2013-09-16 Richard W.M... build: Get 'make install' working.
2013-09-16 Richard W.M... examples: Remove generated files when doing 'make clean'.
2013-09-16 Richard W.M... Add COPYING and README files.
2013-09-16 Richard W.M... First published version.
2013-09-15 Richard W.M... Initial revision.