OASIS option stub_debug renamed into stubdebug for compatibility with GODI
-rw-r--r-- 112 .gitignore
-rw-r--r-- 146 AUTHORS.txt
-rw-r--r-- 1157 COPYING.txt
-rw-r--r-- 702 Makefile
-rw-r--r-- 2696 README.markdown
-rw-r--r-- 3638 _oasis
-rw-r--r-- 2174 _tags
-rwxr-xr-x 364 configure
drwxr-xr-x - docs
drwxr-xr-x - examples
-rw-r--r-- 20148 myocamlbuild.ml
-rw-r--r-- 175819 setup.ml
drwxr-xr-x - src
drwxr-xr-x - tests