diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/tutorial/Tutorial.tex | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex index 3a91664db..8337b1c48 100644 --- a/doc/tutorial/Tutorial.tex +++ b/doc/tutorial/Tutorial.tex @@ -35,7 +35,11 @@ Bertot and P. Castéran on practical uses of the \Coq{} system. Instructions on installation procedures, as well as more comprehensive documentation, may be found in the standard distribution of \Coq, -which may be obtained from \Coq{} web site \url{https://coq.inria.fr/}. +which may be obtained from \Coq{} web site +\url{https://coq.inria.fr/}\footnote{You can report any bug you find +while using \Coq{} at \url{https://coq.inria.fr/bugs}. Make sure to +always provide a way to reproduce it and to specify the exact version +you used. You can get this information by running \texttt{coqc -v}}. \Coq{} is distributed together with a graphical user interface called CoqIDE. Alternative interfaces exist such as Proof General\footnote{See \url{https://proofgeneral.github.io/}.}. |