X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fpapers%2Fcalculemus-2003%2Fslides%2Fshow.tex;fp=helm%2Fpapers%2Fcalculemus-2003%2Fslides%2Fshow.tex;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=880518d04d18a4a51fd6c2f6349ca8fb168fbb3e;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/papers/calculemus-2003/slides/show.tex b/helm/papers/calculemus-2003/slides/show.tex
deleted file mode 100644
index 880518d04..000000000
--- a/helm/papers/calculemus-2003/slides/show.tex
+++ /dev/null
@@ -1,55 +0,0 @@
-
-\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}
-