préparation pour triplers de Hoare

Cette révision appartient à :
Yann Salmon
2018-09-03 10:35:54 +02:00
Parent cd740c5c9c
révision eed8c72433

Voir le fichier

@@ -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