diff options
Diffstat (limited to 'dev/doc/changes.md')
| -rw-r--r-- | dev/doc/changes.md | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 707adce308..01aa6b599b 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -46,9 +46,14 @@ We changed the type of the following functions: - `Global.body_of_constant`: same as above. -We renamed the following datatypes: +- `Constrinterp.*` generally, many functions that used to take an + `evar_map ref` have been now switched to functions that will work in + a functional way. The old style of passing `evar_map`s as references + is not supported anymore. -- `Pp.std_ppcmds` -> `Pp.t` +We have changed the representation of the following types: + +- `Lib.object_prefix` is now a record instead of a nested tuple. Some tactics and related functions now support static configurability, e.g.: |