diff options
| author | Théo Zimmermann | 2020-06-26 18:29:36 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-26 18:29:36 +0200 |
| commit | 427fb9282dd76a6b48c37fc2cffcbc0af10ad37d (patch) | |
| tree | d187cd214f54f96630c7c07a75409b4d69f9f866 | |
| parent | d7d3c70e4167f7bf4216950297ae9be42e3d4b9f (diff) | |
| parent | 84461cbeda744e647841e3ab497a4387398c1fe1 (diff) | |
Merge PR #12598: Mention VSCoq with respect to _CoqProject
Reviewed-by: Zimmi48
| -rw-r--r-- | doc/sphinx/practical-tools/utilities.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index 33ebbce640..d9992029ba 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -74,8 +74,8 @@ to literally pass an argument ``foo`` to ``coqc``: in the example, this allows to pass the two-word option ``-w all`` (see :ref:`command line options <command-line-options>`). -Currently, both |CoqIDE| and Proof-General (version ≥ ``4.3pre``) -understand ``_CoqProject`` files and invoke |Coq| with the desired options. +|CoqIDE|, Proof-General and VSCoq all +understand ``_CoqProject`` files and can be used to invoke |Coq| with the desired options. The ``coq_makefile`` utility can be used to set up a build infrastructure for the |Coq| project based on makefiles. The recommended way of |