Commits · 8fbc663ca72ef0c0a73cfb0f41d363e0c89a510e · OpenSource / goaljobs

Sep 17, 2013
- Rename config.ml -> goaljobs_config.ml to avoid conflicting module names. · 8fbc663c
  Richard W.M. Jones authored 11 years ago
```
It would be useful to allow user scripts to use the module
name 'Config'.
```
  8fbc663c
Sep 16, 2013
- Command line parsing, the concept of publishing goals. · a0bf80d3
  Richard W.M. Jones authored 11 years ago
  
  a0bf80d3
- Write 'goaljobs' script (wrapper around the compiler). · 4a78b6d6
  Richard W.M. Jones authored 11 years ago
  
  4a78b6d6
- Update NOTES. · 8dd89ca3
  Richard W.M. Jones authored 11 years ago
  
  8dd89ca3
- build: Get 'make install' working. · c3463aa7
  Richard W.M. Jones authored 11 years ago
```
Add a spec file.
```
  c3463aa7
- examples: Remove generated files when doing 'make clean'. · 712c2fa7
  Richard W.M. Jones authored 11 years ago
  
  712c2fa7
- Add COPYING and README files. · be4ef04a
  Richard W.M. Jones authored 11 years ago
  
  be4ef04a
- First published version. · b71fd4c0
  Richard W.M. Jones authored 11 years ago
  
  b71fd4c0
Sep 15, 2013
- Initial revision. · 153276d5
  Richard W.M. Jones authored 11 years ago
  
  153276d5