diff options
| author | Guillaume Melquiond | 2018-10-05 08:27:00 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2018-10-05 08:27:00 +0200 |
| commit | 24c4c71236a6b12e9af6e8505c98e3ef1becb32a (patch) | |
| tree | e12330346f4b199b1fd3776638c3ee2971fb2d4f /dev | |
| parent | e9eabbbab2f3ab5242670b36e5a5445a2fb7e737 (diff) | |
Adapt changes to backported commits.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.md | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index d9a42b3a2c..9d592ee879 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -1,12 +1,5 @@ ## Changes between Coq 8.9 and Coq 8.10 -### ML API - -Termops: - -- Internal printing functions have been placed under the - `Termops.Internal` namespace. - ## Changes between Coq 8.8 and Coq 8.9 ### ML API |