diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-23 10:16:13 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-23 10:16:13 +0100 |
commit | 3a929e942100ece9380d16873655518ab53be83b (patch) | |
tree | 765a8d6bf0d30a2e418b50a7577084c90af47c47 /CHANGES | |
parent | c0e34f2700f769e87f1449ae27b20e0d0546aec7 (diff) |
update CHANGES
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,3 +1,11 @@ +Changes from 8.8.2 to 8.9+beta1 +=============================== + +Tools + +- Coq_makefile lets one override or extend the following variables from + the command line: COQFLAGS, COQCHKFLAGS, COQDOCFLAGS. + Changes from 8.7.2 to 8.8+beta1 =============================== |