From eed8c72433a8e0828fa125eb6f1d4dbfac36e351 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Mon, 3 Sep 2018 10:35:54 +0200
Subject: [PATCH] =?UTF-8?q?pr=C3=A9paration=20pour=20triplers=20de=20Hoare?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 latex/yslistings.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/latex/yslistings.tex b/latex/yslistings.tex
index 8b00b7b..30c7ca1 100644
--- a/latex/yslistings.tex
+++ b/latex/yslistings.tex
@@ -59,4 +59,12 @@
 }
 \lstnewenvironment{lstalgo}[1][]{\leavevmode\lstset{columns=fullflexible, basicstyle=\rmfamily\NoAutoSpacing, language=algorithme, frame=single, frameround=tttt, #1}}{}
 
+\newbox\hoareboxB
+\newbox\hoareboxC
+\newbox\hoareboxA
+%\newenvironment{trhoare}[2]{\setbox\hoarebox=\hbox\begingroup\begin{lstpython}[frame=none, basicstyle=\ttfamily\scriptsize]
+%}{\end{lstpython}\endgroup}\left\{#1\vphantom{\copy\hoarebox}\right\}\quad\copy\hoarebox\quad\left\{\vphantom{\copy\hoarebox}#3\right\}}
+
+%\long\def\trhoare#1\trhcode{\setbox\hoareboxB=\hbox{#1}}
+
 \endinput
\ No newline at end of file