git.annexia.org
/
goaljobs.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Implement // and quote.
2013-09-17
Richard W.M. Jones
Implement // and quote.
commit
|
commitdiff
|
tree
2013-09-17
Richard W.M. Jones
Implement url_exists, file_contains_string, url_contains_string.
commit
|
commitdiff
|
tree
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