summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-11-13 18:57:26 +0100
committerDavid A. Madore <david+git@madore.org>2017-11-13 18:57:26 +0100
commite6ef0c54de9febf72883b94bba99064ce18f8740 (patch)
tree8fbccbf7e258dc734ec08dc550a8e5fe2252dcbd /notes-inf105.tex
parentdd6a9ca28e5d3e3e40674ec6dc2ee21db6e85ac2 (diff)
downloadinf105-e6ef0c54de9febf72883b94bba99064ce18f8740.tar.gz
inf105-e6ef0c54de9febf72883b94bba99064ce18f8740.tar.bz2
inf105-e6ef0c54de9febf72883b94bba99064ce18f8740.zip
Imprimatur.
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex17
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}