diff options
Diffstat (limited to 'dev/doc/changes.md')
| -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 ab9df12766..8ab00c6fd8 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -2,6 +2,8 @@ ### ML API +- Function UnivGen.global_of_constr has been removed. + - Functions and types deprecated in 8.10 have been removed in Coq 8.11. |