Commit 0294ff29 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove uses of \citeyear in the manual, as it does not work in HTML mode.

parent 715f53ed
......@@ -2956,8 +2956,8 @@ inserting or deleting tokens, so as to suppress the error, and resume normal
parsing. In principle, the possibilities are endless.
An apparently simple-minded approach to error reporting,
proposed by Jeffery~\citeyear{jeffery-03} and further explored by
Pottier~\citeyear{pottier-reachability-cc-2016}, consists in selecting a diagnostic
proposed by Jeffery~\cite{jeffery-03} and further explored by
Pottier~\cite{pottier-reachability-cc-2016}, consists in selecting a diagnostic
message (or a template for a diagnostic message) based purely on the current
state of the automaton.
......@@ -3208,7 +3208,7 @@ straightforward (if lengthy) task. In reality, it is not so simple.
% Here are a few guidelines.
% The reader is referred to Pottier's
% paper~\citeyear{pottier-reachability-cc-2016} for more details.
% paper~\cite{pottier-reachability-cc-2016} for more details.
\paragraph{A state, not a sentence}
......@@ -4252,8 +4252,8 @@ The main ideas behind the Coq back-end are described in a paper by Jourdan,
Pottier and Leroy~\cite{jourdan-leroy-pottier-12}.
The approach to error reports presented in \sref{sec:errors:new} was
proposed by Jeffery~\citeyear{jeffery-03} and further explored by
Pottier~\citeyear{pottier-reachability-cc-2016}.
proposed by Jeffery~\cite{jeffery-03} and further explored by
Pottier~\cite{pottier-reachability-cc-2016}.
% ------------------------------------------------------------------------------
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment