diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-01 13:51:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-06 22:31:22 +0100 |
| commit | d3414abd4dc912debf1a8339eedbe1b9d4dbc319 (patch) | |
| tree | 909c0a98f84f75a6a0d876fd04078b6774437776 /CHANGES | |
| parent | ed98716036e9d47efb2ba66cf0336fc45e03f793 (diff) | |
Add CHANGES and man entry for coqdep learning _CoqProject.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -93,6 +93,12 @@ CoqIDE - Find and Replace All report the number of occurrences found; Find indicates when it wraps. +coqdep + +- Learned to read -I, -Q, -R and filenames from _CoqProject files. + This is used by coq_makefile when generating dependencies for .v + files (but not other files). + Documentation - The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been |