git.annexia.org / goaljobs.git / shortlog
| 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 |