Module Data_filesSource

Sourcetype file =
  1. | Slipshow_js
  2. | Pdf_support
  3. | Slip_internal_css
  4. | Slip_system_css
  5. | Favicon
  6. | Mathjax_js
  7. | Highlight_js
  8. | Highlight_css
  9. | Highlight_js_ocaml
Sourceval read : file -> string