diff options
Diffstat (limited to 'transp-inf110-02-typage.tex')
| -rw-r--r-- | transp-inf110-02-typage.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/transp-inf110-02-typage.tex b/transp-inf110-02-typage.tex index 63300ba..9082576 100644 --- a/transp-inf110-02-typage.tex +++ b/transp-inf110-02-typage.tex @@ -61,11 +61,11 @@ % % \title{{\footnotesize Partie II:} Typage simple et calcul propositionnel} -\subtitle{INF110 (Logique et Fondements de l'Informatique)} +\subtitle{CSC-3TC34-TP / INF110 (Logique et Fondements de l'Informatique)} \author[David Madore]{David A. Madore\\ {\footnotesize Télécom Paris}\\ -\texttt{david.madore@enst.fr}} -\date{2023–2025} +\texttt{david.madore@}(nom de l'école)\texttt{.fr}} +\date{2023–2026} \mode<presentation>{% \beamertemplatenavigationsymbolsempty \usenavigationsymbolstemplate{\vbox{\hbox{\footnotesize(II) \hyperlinkslideprev{$\leftarrow$}\insertframenumber/\inserttotalframenumber\hyperlinkslidenext{$\rightarrow$}}}} |