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

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

make & cron replacement