\documentclass{article}

\usepackage{times}
\usepackage{fullpage}

\usepackage[T1]{fontenc}
%\usepackage[latin9]{inputenc}

\usepackage{ifthen}
\usepackage{hevea}

\usepackage{alltt}
\usepackage{xspace}
\usepackage[pdfborder={0 0 0}]{hyperref}
\usepackage{listings}
\usepackage[usenames,dvipsnames]{color}
\usepackage{multirow}

\input{macros_listing_cocci}
\input{macros_grammar}
\input{macros_common}


\ifhevea
\newcommand{\phantom}{}
\newcommand{\air}{   }
\else
\newcommand{\air}{\phantom{xxx}}
\fi

\title{The SmPL Grammar (version 0.1.11)}
\author{Research group on Coccinelle}
\date{\today}

\begin{document}
\maketitle


\input{cocci_syntax}

\include{examples}
\include{tips}

\end{document}