% File              : template.tex
% Version           : $Revision: 1.2 $
% Last-modified     : $Date: 2005/01/04 11:38:53 $
% Last-modifier     : FJ

\documentclass{splib}

\begin{document}
% main environment
\begin{protocol}%
% name
{}%
% authors
{}%
% date of the first publication
{dd/mm/aaaa}%
% editor name
{}%
% date of submission
{dd/mm/aaaa}%
% date of last change, empty or = date of submission
{dd/mm/aaaa}

\begin{abstract}
\end{abstract}

\begin{core}
\begin{declarations}
\dcl{}{}
\end{declarations}

\begin{messages}
\msg{}{}{}{}
\end{messages}
\end{core}

\begin{explanation}
\end{explanation}

\begin{property}
\end{property}

\begin{references}
\end{references}

\begin{proofs}
\end{proofs}

\begin{attacks}
\begin{messages}
\msg{}{}{}{}
\end{messages}
\end{attacks}

\begin{remark}
\end{remark}

\begin{see} %\crossref{}, see all.aux for labels names
\end{see}

\end{protocol}
\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
