diff options
| author | Emilio Jesus Gallego Arias | 2020-03-22 00:30:25 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-22 00:30:25 -0400 |
| commit | ec4b889aa4e837bd82a7d0a059d0c967cde1ac46 (patch) | |
| tree | b0945180cd3501e463f1804e12d06a13aed1fa60 /vernac/comProgramFixpoint.ml | |
| parent | 4d025d4161599ea20cd1dbf489a6412f019a7a7e (diff) | |
| parent | 80f3011eb5ca479b9b1f059c0f04e131028d5312 (diff) | |
Merge PR #11855: Build and install refman with Dune.
Ack-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions