%; whizzy   document -advi "dview -whizzy" 

\documentclass{article}

\usepackage {mathpartir}

\title {An example with includes}
\author {Didier R{\'{e}}my}

\begin{document}

\maketitle
 
\include{first} 
\include{second}


\end{document}

