Document: oasis-manual
Title: OASIS User Manual
Section: Programming/OCaml

Format: Text 
Files: /usr/share/doc/oasis/MANUAL.mkd.gz
