annexia.org >> repositories - goaljobs.git/shortlog

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

make & cron replacement