1 files changed, 15 insertions, 6 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex
index d3906f4..c93a812 100644
--- a/transp-inf110-02-typage.tex
+++ b/transp-inf110-02-typage.tex
@@ -1,7 +1,7 @@
 %% This is a LaTeX document.  Hey, Emacs, -*- latex -*- , get it?
 \documentclass[mathserif,a4paper,aspectratio=169]{beamer}
 %\documentclass[a4paper]{article}
-%\usepackage[envcountsect,noxcolor]{beamerarticle}
+%\usepackage{beamerarticle}
 \usepackage[shorthands=off,french]{babel}
 \usepackage[utf8]{inputenc}
 \usepackage[T1]{fontenc}
@@ -26,6 +26,7 @@
 \usepackage{graphicx}
 \usepackage{tikz}
 \usetikzlibrary{arrows,automata,calc}
+\usepackage{hyperref}
 %
 \newcommand{\itempoint}{\strut\hbox{\color{beamerstructure}\donotcoloroutermaths$\blacktriangleright$}\nobreak\hskip.5em plus.5em\relax}
 \renewcommand{\thefootnote}{\textdagger}
@@ -42,6 +43,14 @@
 \newcommand{\mpdotsabove}[1]{\inferrule*{\vdots}{#1}}
 \setlength{\derivskip}{4pt}
 %
+\mode<article>{
+    \newcommand{\donotcoloroutermaths}{\relax}
+    \renewcommand{\frametitle}[1]{\subsubsection*{#1 {\footnotesize[transp. \insertframenumber]}}}
+    \newcommand{\myitemmark}{\hbox{$\blacktriangleright$}}
+    \renewcommand{\itempoint}{\strut\myitemmark\nobreak\hskip.5em plus.5em\relax}
+    \setlength{\parindent}{0pt}
+}
+%
 %
 %
 \title{Typage simple et calcul propositionnel}
@@ -57,7 +66,7 @@
 \setbeamercolor{myhighlight}{fg=black,bg=white!90!green}
 \colorlet{mydarkgreen}{green!50!black}
 \begin{document}
-\mode<article>{\maketitle}
+\mode<article>{\maketitle\renewcommand{\labelitemi}{\myitemmark}}
 %
 \setlength\abovedisplayskip{2pt plus 2pt minus 2pt}
 \setlength\belowdisplayskip{2pt plus 2pt minus 2pt}
@@ -1548,7 +1557,7 @@ pour un gain de place) :
 Présentation « drapeau », plus proche de l'écriture naturelle, commode
 à vérifier :
 
-{\footnotesize
+\begin{footnotesize}
 \begin{flagderiv}[example-proof1]
 \assume{conj}{A\land B}{}
 \step{partb}{B}{$\land$Élim$_2$ sur \ref{conj}}
@@ -1556,11 +1565,11 @@ Présentation « drapeau », plus proche de l'écriture naturelle, commode
 \step{newconj}{B\land A}{$\land$Int sur \ref{partb}, \ref{parta}}
 \conclude{}{A\land B \Rightarrow B\land A}{$\Rightarrow$Int de \ref{conj} dans \ref{newconj}}
 \end{flagderiv}
-\par}
+\end{footnotesize}
 
 \vskip-2ex
 
-{\footnotesize
+\begin{footnotesize}
 \begin{flagderiv}[example-proof2]
 \assume{disj}{A\lor B}{}
 \assume{parta}{A}{}
@@ -1572,7 +1581,7 @@ Présentation « drapeau », plus proche de l'écriture naturelle, commode
 \step{newdisj}{B\lor A}{$\lor$Élim sur \ref{disj} de \ref{parta} dans \ref{fromparta} et de \ref{partb} dans \ref{frompartb}}
 \conclude{}{A\lor B \Rightarrow B\lor A}{$\Rightarrow$Int de \ref{disj} dans \ref{newdisj}}
 \end{flagderiv}
-\par}
+\end{footnotesize}
 
 \end{frame}
 %