diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 09:36:57 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:40 +0100 |
| commit | ef1dfb4501fe8bb110343644f43243737e23e5aa (patch) | |
| tree | adac560839c751e05ba41ad907f97ae75b842e32 | |
| parent | ff76518771d1da2a7d3c1b1cbb8d637d2f4d7bf7 (diff) | |
refman/Omega.tex: do not advertize Pierre Cregut's email for bug reports
| -rw-r--r-- | doc/refman/Omega.tex | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex index 213c05061..b946d03b7 100644 --- a/doc/refman/Omega.tex +++ b/doc/refman/Omega.tex @@ -212,11 +212,7 @@ decision procedure is only partial. \item Much too slow. -\item Certainly other bugs! You can report them to - -\begin{quote} - \url{Pierre.Cregut@cnet.francetelecom.fr} -\end{quote} +\item Certainly other bugs! You can report them to \url{https://coq.inria.fr/bugs/}. \end{itemize} |