diff options
| author | Théo Zimmermann | 2019-02-28 10:23:29 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-02-28 10:23:29 +0100 |
| commit | 5c4b38ad8763bde984a01dd280af67c1980e0ea6 (patch) | |
| tree | 2be1ebab2773c74b9340c5f89a908e5cfbd73526 /vernac/comProgramFixpoint.ml | |
| parent | ff2c1bea58fcb53c09ba58c4fd3f4d96e750fcbd (diff) | |
| parent | 07ce2588740f689fe92a8d00dd1aeccda5255130 (diff) | |
Merge PR #9649: [dune] Simple rule to generate Stdlib's documentation.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
Ack-by: rgrinberg
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions