diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-09-15 10:27:37 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-15 10:27:37 +0200 |
commit | 8c097e35835c4a31a24c043c1bc36ff9d356a87c (patch) | |
tree | 4fb422e2c20ce00f21a37f3c66b1effbe3c9de5f /CHANGES | |
parent | 6c678a68c081ce24bbdcb092db3f57ef7e171dac (diff) | |
parent | 8d5165155dc4d9e4c03507609bf1b7a24a8ce4d0 (diff) |
Merge PR #1025: BZ#5716, read flags from project file for Compile Buffer
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -13,6 +13,11 @@ Tactics profiling, and "Set NativeCompute Profile Filename" customizes the profile filename. +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 ============================== |