helm/papers/calculemus-2003/slides/show.tex

   1
   2 \documentclass[landscape]{slides}
   3
   4 \usepackage[italian]{babel}
   5 \usepackage[latin1]{inputenc}
   6 \usepackage{advi-annot}
   7 \usepackage{advi-slides}
   8 \usepackage{fancyvrb}
   9 \usepackage{graphicx}
  10
  11 % \myincludegraphics{image_name}{width}
  12 \newcommand{\myincludegraphics}[2]{
  13  \begin{center}
  14   \includegraphics[width=#2]{eps/#1-slides.eps}
  15  \end{center}
  16 }
  17 \newcommand{\emailcsc}{\texttt{$<$sacerdot@cs.unibo.it$>$}}
  18 \newcommand{\emailzack}{\texttt{$<$zack@di.ens.fr$>$}}
  19 \newcommand{\Arrow}[2]{\ncline[nodesep=0.5cm]{->}{#1}{#2}}
  20 \newcommand{\Strike}[2]{\ncline[linewidth=0.3cm,linecolor=red]{-}{#1}{#2}}
  21 \newcommand{\node}[2]{\rnode{#1}{#2}}
  22 \newcommand{\FromBottom}[1]{\advitransbox{slide,from=bottom}{#1}}
  23 \newcommand{\FromLeft}[1]{\advitransbox{slide,from=left}{#1}}
  24 \newcommand{\FromRight}[1]{\advitransbox{slide,from=right}{#1}}
  25 \newcommand{\FromTop}[1]{\advitransbox{slide,from=top}{#1}}
  26 \newcommand{\Blue}[1]{\textcolor[named]{Blue}{#1}}
  27 \newcommand{\Gray}[1]{\textcolor[named]{Gray}{#1}}
  28 \newcommand{\Green}[1]{\textcolor[named]{Green}{#1}}
  29 \newcommand{\Red}[1]{\textcolor[named]{Red}{#1}}
  30
  31 \def\thelogo{\includegraphics[width=3EM,height=1EM]{helm.eps}}
  32 \def\footer{{\thelogo\hfill \emph{\Gray{Stefano Zacchiroli \emailzack \hfill
  33 10-09-2003}}}}
  34 \def\advimasquotte{\adviembed[width=1.56cm,height=1.824cm]%
  35 {animate -geometry !g! -window !p advilogo.anim.gif}}
  36
  37 % shortcuts
  38
  39 \newcommand{\musing}{\texttt{musing}}
  40 \newcommand{\musings}{\texttt{musings}}
  41 \newcommand{\ws}{Web-Service}
  42 \newcommand{\wss}{Web-Services}
  43 \newcommand{\hbugs}{H-Bugs}
  44 \newcommand{\helm}{HELM}
  45 \newcommand{\Omegapp}{$\Omega$mega}
  46 \newcommand{\OmegaAnts}{$\Omega$mega-Ants}
  47
  48 % debugging
  49
  50 % \renewcommand{\pause}{}
  51
  52 \begin{document}
  53  \input{slides}
  54 \end{document}
  55