aboutsummaryrefslogtreecommitdiffhomepage
path: root/CHANGES
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-09-15 10:57:57 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2017-09-15 10:57:57 +0200
commit53fe81925820895e5657ec8c1d0389e96a0abc70 (patch)
treeb5d18bd63cfcf5b6131360bed9af6ad677f13375 /CHANGES
parent4e2f3ff7d2f790435c9e1d3dfc4f26beff47ae8a (diff)
Fix CHANGES after merge of PR #1025.
Diffstat (limited to 'CHANGES')
-rw-r--r--CHANGES7
1 files changed, 5 insertions, 2 deletions
diff --git a/CHANGES b/CHANGES
index 796fbd043..ca5172d7b 100644
--- a/CHANGES
+++ b/CHANGES
@@ -13,13 +13,16 @@ Tactics
profiling, and "Set NativeCompute Profile Filename" customizes
the profile filename.
+Changes from 8.7+beta1 to 8.7.0
+===============================
+
Tools
- In CoqIDE, the "Compile Buffer" command takes account of flags in
_CoqProject or other project file.
-Changes from 8.6.1 to 8.7+beta
-==============================
+Changes from 8.6.1 to 8.7+beta1
+===============================
Tactics