From a4544b876002db93ec8e380724657b5d229cf0f0 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Sun, 5 Aug 2018 18:53:22 +0200
Subject: [PATCH] =?UTF-8?q?bugfix=20et=20d=C3=A9finitions=20pour=20Hoare?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 latex/ysbeamer.tex | 26 ++++++++++++++------------
 1 file changed, 14 insertions(+), 12 deletions(-)

diff --git a/latex/ysbeamer.tex b/latex/ysbeamer.tex
index f30bb37..64d7729 100644
--- a/latex/ysbeamer.tex
+++ b/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
\ No newline at end of file