git.annexia.org / goaljobs.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Ignore warnings about immutable strings.
[goaljobs.git] / pa_goal.ml
2013-10-09 Richard W.M. Jonesdebug: Print the name of goals that run, and goals... blob | commitdiff
2013-10-08 Richard W.M. JonesFix comment. blob | commitdiff | diff to current
2013-09-26 Richard W.M. JonesImplement goalloc. blob | commitdiff | diff to current
2013-09-26 Richard W.M. JonesImplement: onfail, onsuccess, onrun, log_program_output... blob | commitdiff | diff to current
2013-09-18 Richard W.M. JonesPass a suspension to 'require'. blob | commitdiff | diff to current
2013-09-16 Richard W.M. JonesCommand line parsing, the concept of publishing goals. blob | commitdiff | diff to current
2013-09-16 Richard W.M. JonesFirst published version. blob | commitdiff | diff to current
make & cron replacement