Command line parsing, the concept of publishing goals.
Showing
- .depend 4 additions, 2 deletions.depend
- .gitignore 1 addition, 0 deletions.gitignore
- Makefile.am 6 additions, 4 deletionsMakefile.am
- NOTES 14 additions, 0 deletionsNOTES
- config.ml.in 21 additions, 0 deletionsconfig.ml.in
- configure.ac 2 additions, 1 deletionconfigure.ac
- goaljobs 13 additions, 2 deletionsgoaljobs
- goaljobs.ml 66 additions, 0 deletionsgoaljobs.ml
- goaljobs.mli 58 additions, 0 deletionsgoaljobs.mli
- pa_goal.ml 30 additions, 1 deletionpa_goal.ml
Loading
Please register or sign in to comment