docs/manual/main_grammar.tex

   1 \documentclass{article}
   2
   3 \usepackage{times}
   4 \usepackage{fullpage}
   5
   6 \usepackage[T1]{fontenc}
   7 %\usepackage[latin9]{inputenc}
   8
   9 \usepackage{ifthen}
  10 \usepackage{hevea}
  11
  12 \usepackage{alltt}
  13 \usepackage{xspace}
  14 \usepackage[pdfborder={0 0 0}]{hyperref}
  15 \usepackage{listings}
  16 \usepackage[usenames,dvipsnames]{color}
  17 \usepackage{multirow}
  18
  19 \input{macros_listing_cocci}
  20 \input{macros_grammar}
  21 \input{macros_common}
  22
  23
  24 \ifhevea
  25 \newcommand{\phantom}{}
  26 \newcommand{\air}{   }
  27 \else
  28 \newcommand{\air}{\phantom{xxx}}
  29 \fi
  30
  31 \title{The SmPL Grammar (version 0.1.4)}
  32 \author{Research group on Coccinelle}
  33 \date{\today}
  34
  35 \begin{document}
  36 \maketitle
  37
  38
  39 \input{cocci_syntax}
  40
  41 \include{examples}
  42 \include{tips}
  43
  44 \end{document}
  45