summaryrefslogtreecommitdiffstats
path: root/transp-inf110-02-typage.tex
diff options
context:
space:
mode:
Diffstat (limited to 'transp-inf110-02-typage.tex')
-rw-r--r--transp-inf110-02-typage.tex21
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}
%