diff options
| author | David A. Madore <david+git@madore.org> | 2017-11-08 15:21:03 +0100 | 
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-11-08 15:21:03 +0100 | 
| commit | 5848b5a26c04b50d180cbbe9a2d9b589ebc746a5 (patch) | |
| tree | d6344993a15d126a35203298d22347e3030593bc | |
| parent | e6f4d79160936874dee18faf634096c32505e8ef (diff) | |
| download | inf105-5848b5a26c04b50d180cbbe9a2d9b589ebc746a5.tar.gz inf105-5848b5a26c04b50d180cbbe9a2d9b589ebc746a5.tar.bz2 inf105-5848b5a26c04b50d180cbbe9a2d9b589ebc746a5.zip | |
Downgrade level of unfinishedness and associated warning.
| -rw-r--r-- | notes-inf105.tex | 15 | 
1 files changed, 6 insertions, 9 deletions
| diff --git a/notes-inf105.tex b/notes-inf105.tex index 1f2bb05..806e3b4 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -72,7 +72,7 @@  %  \makeindex  \begin{document} -\title{THL (Théorie des langages)\\Notes de cours \textcolor{red}{provisoires}} +\title{THL (Théorie des langages)\\Notes de cours \textcolor{orange}{provisoires}}  \author{David A. Madore}  \maketitle @@ -95,14 +95,11 @@ Git: \input{vcline.tex}  %  % -{\color{red}\textbf{Mise en garde :} Ce document est \emph{inachevé et -    en cours de rédaction}.  Il a été très peu relu, et il est donc -  probable qu'il contienne de nombreuses erreurs, y compris dans les -  parties à peu près terminées.  La numérotation des parties, et à -  plus forte raison des sous-parties est sujette à modification ; la -  terminologie pourrait également être amenée à évoluer.  Consulter la -  ligne « Git » ci-dessus pour la date de dernière modification ; -  l'historique complet est disponible sur +{\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} | 
