diff options
| author | Hugo Herbelin | 2019-04-27 22:27:40 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-04-27 22:27:40 +0200 |
| commit | 8edf5a8e278f0bfa60207fe825a6d993e5be6ec2 (patch) | |
| tree | 125c6f1b714c2b292015f3f0a420ad119200cdec | |
| parent | b1a22c6e7584dce2a8294cb29ddada39173ced8a (diff) | |
Updating CHANGES.
| -rw-r--r-- | CHANGES.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGES.md b/CHANGES.md index fc7272da65..9a292562ed 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -22,6 +22,9 @@ Coqide - CoqIDE now properly sets the module name for a given file based on its path, see -topfile change entry for more details. +- Preferences from coqide.keys are no longer overridden by modifiers + preferences in coqiderc. + Coqtop - the use of `coqtop` as a compiler has been deprecated, in favor of |