bugfix et définitions pour Hoare

latex/ysbeamer.tex

@@ -1,30 +1,23 @@
 \makeatletter
 \let\ys@beamer\ 
-\makeatother
+
+\@ifclassloaded{beamer}{}{\usepackage{beamerarticle}}
 
 \subimport{./}{paquets}
 
-\def\seizeneuf{\usepackage[orientation=landscape,size=custom,width=16,height=9,scale=0.42]{beamerposter}}
-\def\seizedix{\usepackage[orientation=landscape,size=custom,width=16,height=10,scale=0.423]{beamerposter}}
 
-%\seizedix
-
-\makeatletter
-  \@ifundefined{inserttotalframenumbernew}{
-    \gdef\inserttotalframenumbernew{1}
-  }{}
-  \global\let\inserttotalframenumber\inserttotalframenumbernew
-\makeatother
+\@ifundefined{inserttotalframenumbernew}{}{\global\let\inserttotalframenumber\inserttotalframenumbernew}
 
 
 
+%\AtEndDocument{{\makeatletter\immediate\write\@mainaux{\string\gdef\string\inserttotalframenumbernew{\insertframenumber}}}}
 
 \providecommand\thispdfpagelabel[1]{}
 \usetheme{Warsaw}
 %\useinnertheme[shadow]{rounded}
 \usecolortheme{beaver}
 \setbeamertemplate{navigation symbols}{}
-\setbeamertemplate{footline}{(\insertframenumber/\inserttotalframenumbernew)\hfill(\insertframenumber/\inserttotalframenumbernew)}
+\setbeamertemplate{footline}{(\insertframenumber/\inserttotalframenumber)\hfill(\insertframenumber/\inserttotalframenumber)}
 \usefonttheme{serif}
 \usefonttheme{professionalfonts}
 
@@ -107,4 +100,13 @@
  \belowdisplayskip=5pt minus 3pt
  \belowdisplayshortskip=2pt minus 1pt
 
+\tikzstyle{active} = [basevertex, fill=green!65]
+\tikzstyle{frontier} = [basevertex, fill=red!65]
+\tikzstyle{done} = [basevertex, fill=blue!65]
+\tikzstyle{basefloyd} = [shape=rounded rectangle,  inner sep = 1pt, font=\scriptsize]
+\tikzstyle{floyd} = [basefloyd, fill=blue!20]
+\tikzstyle{crashfloyd} = [basefloyd, fill=red!20]
+\tikzstyle{invfloyd} = [basefloyd, fill=green!20]
+
+\makeatother
 \endinput