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 /dev | |
| parent | b456cf69eaac3e73f0c63c81ab2dbb58ca5e73b2 (diff) | |
| parent | f1238742f931269167e7c2704b53bb285d05f39d (diff) | |
Merge PR #12346: Update to 8.13.
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 9498ab8bbb..ae4c6328b5 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -1,3 +1,5 @@ +## Changes between Coq 8.12 and Coq 8.13 + ## Changes between Coq 8.11 and Coq 8.12 ### Code formatting |