package sail_doc_backend

  1. Overview
  2. Docs
Sail documentation generator

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (6)

Authors

  1. A
    Alasdair Armstrong
  2. T
    Thomas Bauereiss
  3. B
    Brian Campbell
  4. S
    Shaked Flur
  5. J
    Jonathan French
  6. K
    Kathy Gray
  7. R
    Robert Norton
  8. C
    Christopher Pulte
  9. P
    Peter Sewell
  10. M
    Mark Wassell

Maintainers

  1. S
    Sail Devs <cl-sail-dev@lists.cam.ac.uk>

Sources

sail-0.19.1.tbz
sha256=5e99698b6367c018133c90aaed2ceff173de20db6e61c33e2b19594a1d482a32
sha512=4de32379ae0a35a1e8ccb9ddd42147e5af88f595e18bde4c5ed635ccf511fffdcc203910732b818069e2c65e399223b79147a600f37aeb9df0f7779ba9ef323a

doc/index.html

sail_doc_backend