talk committed

[helm.git] / helm / papers / calculemus-2003 / slides / show.tex

diff --git a/helm/papers/calculemus-2003/slides/show.tex b/helm/papers/calculemus-2003/slides/show.tex
new file mode 100644 (file)
index 0000000..880518d
--- /dev/null
+++ b/helm/papers/calculemus-2003/slides/show.tex
@@ -0,0 +1,55 @@
+
+\documentclass[landscape]{slides}
+
+\usepackage[italian]{babel}
+\usepackage[latin1]{inputenc}
+\usepackage{advi-annot}
+\usepackage{advi-slides}
+\usepackage{fancyvrb}
+\usepackage{graphicx}
+
+% \myincludegraphics{image_name}{width}
+\newcommand{\myincludegraphics}[2]{
+ \begin{center}
+  \includegraphics[width=#2]{eps/#1-slides.eps}
+ \end{center}
+}
+\newcommand{\emailcsc}{\texttt{$<$sacerdot@cs.unibo.it$>$}}
+\newcommand{\emailzack}{\texttt{$<$zack@di.ens.fr$>$}}
+\newcommand{\Arrow}[2]{\ncline[nodesep=0.5cm]{->}{#1}{#2}}
+\newcommand{\Strike}[2]{\ncline[linewidth=0.3cm,linecolor=red]{-}{#1}{#2}}
+\newcommand{\node}[2]{\rnode{#1}{#2}}
+\newcommand{\FromBottom}[1]{\advitransbox{slide,from=bottom}{#1}}
+\newcommand{\FromLeft}[1]{\advitransbox{slide,from=left}{#1}}
+\newcommand{\FromRight}[1]{\advitransbox{slide,from=right}{#1}}
+\newcommand{\FromTop}[1]{\advitransbox{slide,from=top}{#1}}
+\newcommand{\Blue}[1]{\textcolor[named]{Blue}{#1}}
+\newcommand{\Gray}[1]{\textcolor[named]{Gray}{#1}}
+\newcommand{\Green}[1]{\textcolor[named]{Green}{#1}}
+\newcommand{\Red}[1]{\textcolor[named]{Red}{#1}}
+
+\def\thelogo{\includegraphics[width=3EM,height=1EM]{helm.eps}}
+\def\footer{{\thelogo\hfill \emph{\Gray{Stefano Zacchiroli \emailzack \hfill
+10-09-2003}}}}
+\def\advimasquotte{\adviembed[width=1.56cm,height=1.824cm]%
+{animate -geometry !g! -window !p advilogo.anim.gif}}
+
+% shortcuts
+
+\newcommand{\musing}{\texttt{musing}}
+\newcommand{\musings}{\texttt{musings}}
+\newcommand{\ws}{Web-Service}
+\newcommand{\wss}{Web-Services}
+\newcommand{\hbugs}{H-Bugs}
+\newcommand{\helm}{HELM}
+\newcommand{\Omegapp}{$\Omega$mega}
+\newcommand{\OmegaAnts}{$\Omega$mega-Ants}
+
+% debugging
+
+% \renewcommand{\pause}{}
+
+\begin{document}
+ \input{slides}
+\end{document}
+