diff options
| author | Emilio Jesus Gallego Arias | 2020-05-18 16:58:21 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-18 16:58:21 +0200 |
| commit | ea6cb6b542e8c356192bb77f234586e0f6d55c8c (patch) | |
| tree | a5e02dcc797d17c09bac5ddc22e9d803828198df /vernac/comProgramFixpoint.ml | |
| parent | b456cf69eaac3e73f0c63c81ab2dbb58ca5e73b2 (diff) | |
| parent | f1238742f931269167e7c2704b53bb285d05f39d (diff) | |
Merge PR #12346: Update to 8.13.
Reviewed-by: ejgallego
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions