diff options
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 |