Skip to content

Commit

Permalink
Rewrite the driver guide following the odoc 3 changes
Browse files Browse the repository at this point in the history
  • Loading branch information
panglesd committed Oct 8, 2024
1 parent 6190935 commit 0f16f83
Show file tree
Hide file tree
Showing 39 changed files with 346 additions and 1,501 deletions.
33 changes: 0 additions & 33 deletions doc/deps.mld

This file was deleted.

1,393 changes: 342 additions & 1,051 deletions doc/driver.mld

Large diffs are not rendered by default.

2 changes: 0 additions & 2 deletions doc/library_mlds/base.mld

This file was deleted.

5 changes: 0 additions & 5 deletions doc/library_mlds/base_quickcheck.mld

This file was deleted.

2 changes: 0 additions & 2 deletions doc/library_mlds/bin_prot.mld

This file was deleted.

10 changes: 0 additions & 10 deletions doc/library_mlds/biniou.mld

This file was deleted.

1 change: 0 additions & 1 deletion doc/library_mlds/cmdliner.mld

This file was deleted.

1 change: 0 additions & 1 deletion doc/library_mlds/core.mld

This file was deleted.

15 changes: 0 additions & 15 deletions doc/library_mlds/dune

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/fmt.mld

This file was deleted.

1 change: 0 additions & 1 deletion doc/library_mlds/fpath.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/ocamlary.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc-parser.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_document.mld

This file was deleted.

4 changes: 0 additions & 4 deletions doc/library_mlds/odoc_examples.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_html.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_html_frontend.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_html_support_files.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_json_index.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_latex.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_loader.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_manpage.mld

This file was deleted.

8 changes: 0 additions & 8 deletions doc/library_mlds/odoc_model.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_model_desc.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_odoc.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_parser.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_search.mld

This file was deleted.

10 changes: 0 additions & 10 deletions doc/library_mlds/odoc_xref2.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/odoc_xref_test.mld

This file was deleted.

5 changes: 0 additions & 5 deletions doc/library_mlds/ppx_hash.mld

This file was deleted.

5 changes: 0 additions & 5 deletions doc/library_mlds/ppx_sexp_conv.mld

This file was deleted.

3 changes: 0 additions & 3 deletions doc/library_mlds/print.mld

This file was deleted.

1 change: 0 additions & 1 deletion doc/library_mlds/result.mld

This file was deleted.

2 changes: 0 additions & 2 deletions doc/library_mlds/sexplib.mld

This file was deleted.

2 changes: 0 additions & 2 deletions doc/library_mlds/sexplib0.mld

This file was deleted.

Loading

0 comments on commit 0f16f83

Please sign in to comment.