diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-13 18:57:26 +0100 | 
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-13 18:57:26 +0100 | 
| commit | e6ef0c54de9febf72883b94bba99064ce18f8740 (patch) | |
| tree | 8fbccbf7e258dc734ec08dc550a8e5fe2252dcbd | |
| parent | dd6a9ca28e5d3e3e40674ec6dc2ee21db6e85ac2 (diff) | |
| download | inf105-e6ef0c54de9febf72883b94bba99064ce18f8740.tar.gz inf105-e6ef0c54de9febf72883b94bba99064ce18f8740.tar.bz2 inf105-e6ef0c54de9febf72883b94bba99064ce18f8740.zip | |
Imprimatur.
| -rw-r--r-- | notes-inf105.tex | 17 | 
1 files changed, 7 insertions, 10 deletions
| diff --git a/notes-inf105.tex b/notes-inf105.tex index 4bb405b..3c5b549 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -72,16 +72,20 @@  %  \makeindex  \begin{document} -\title{THL (Théorie des langages)\\Notes de cours \textcolor{orange}{provisoires}} +\title{THL (Théorie des langages)\\Notes de cours}  \author{David A. Madore}  \maketitle  \centerline{\textbf{INF105}} +\vskip2cm +  {\footnotesize  \immediate\write18{sh ./vc > vcline.tex}  \begin{center}  Git: \input{vcline.tex} +\\ +(Recopier la ligne ci-dessus dans tout commentaire sur ce document)  \end{center}  \immediate\write18{echo ' (stale)' >> vcline.tex}  \par} @@ -90,20 +94,13 @@ Git: \input{vcline.tex}  \tolerance=50000  \linepenalty=5  % Default is supposedly 10 +\vskip3cm +  %  %  % -{\color{orange}\textbf{Mise en garde :} Ce document est \emph{en cours -    de relecture}.  Il n'a pas été complètement relu, et il est donc -  probable qu'il contienne des erreurs.  Consulter la ligne « Git » -  ci-dessus pour la date de dernière modification ; l'historique -  complet est disponible sur -  \url{http://git.madore.org/cgit/teach/inf105.git/} ; ne pas hésiter -  à faire remonter à l'auteur toutes sortes de corrections, -  suggestions d'amélioration ou questions sur le fond.\bigbreak} -  {\footnotesize  \tableofcontents  \par} | 
