diff options
author | Matt Quinn <matt@mattjquinn.com> | 2017-12-11 07:28:23 +0300 |
---|---|---|
committer | Matt Quinn <matt@mattjquinn.com> | 2017-12-18 16:44:27 +0300 |
commit | d1457ecc41713b8fff745a66cd6c8375f26f4fc9 (patch) | |
tree | f1d244c0900469368540f42a5f8b01277a4e168d /CHANGES | |
parent | 359119ff1389d489454d2d55fc5d23e9e71c2daf (diff) |
Removing the FAQ, which has been moved to the GitHub wiki for this
repository. Also removing FAQ-related build rules.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -28,6 +28,12 @@ Vernacular Commands Checker - The checker now accepts filenames in addition to logical paths. +Documentation + +- The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been + moved to the GitHub wiki section of this repository; the main entry + page is https://github.com/coq/coq/wiki/The-Coq-FAQ. + Changes from 8.7+beta2 to 8.7.0 =============================== |