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