diff options
| author | Hugo Herbelin | 2018-12-23 20:37:22 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:20 +0000 |
| commit | 68c1261978639a6a8e8467294fb6eaf3d70a2234 (patch) | |
| tree | 2c08f670241e3e4472520734bfbee1b876830e60 | |
| parent | 7af4cbfda15a8bb3300aeae7e074c7527cc7af10 (diff) | |
CoqIDE: Advertising gtk+3 upgrade in CHANGES.
| -rw-r--r-- | CHANGES.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CHANGES.md b/CHANGES.md index 3e50a13e9e..1e64b78d2e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -17,6 +17,8 @@ OCaml and dependencies Coqide +- CoqIDE now depends on gtk+3 and lablgtk3, rather than gtk+2 and lablgtk2. + - CoqIDE now properly sets the module name for a given file based on its path, see -topfile change entry for more details. |