Module Data_filesSource

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