Command line parsing, the concept of publishing goals.
-rw-r--r-- 119 .depend
-rw-r--r-- 347 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 495 META.in
-rw-r--r-- 2357 Makefile.am
-rw-r--r-- 2615 NOTES
-rw-r--r-- 573 README
-rw-r--r-- 1253 common-rules.mk
-rw-r--r-- 871 config.ml.in
-rw-r--r-- 2830 configure.ac
drwxr-xr-x - examples
-rwxr-xr-x 3415 goaljobs
-rw-r--r-- 6419 goaljobs.ml
-rw-r--r-- 12330 goaljobs.mli
-rw-r--r-- 1768 goaljobs.spec.in
drwxr-xr-x - m4
-rw-r--r-- 5032 pa_goal.ml
drwxr-xr-x - tests