diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-30 09:47:27 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-30 09:47:27 +0200 |
| commit | 03c0ee5a721ebde8b57780c5f2db935ea680a12b (patch) | |
| tree | 38e5a01c41d8e43b788620a9b7d304a2f7c8ff99 /doc | |
| parent | 9e981eca272e571924b535de47263e33658648be (diff) | |
Mention again how to report bug and get version number.
As suggested by @psteckler.
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/}.}. |