Il peut arriver que j'insère des notes un peu partout dans le cours. Ce sont des propos destinés soit à moi même, relatifs au cours mais pas à son contenu (ne pas oublier de parler du partiel, par exemple), soit au lecteur. Dans le cas de notes personnelles, supprimez-les en remplaçant la ligne
\excludeversion{perso}par
\includeversion{perso}dans le fichier index.tex.
Voici un exemple de note |
Le termes introduits et qui méritent une explication sont notés comme ceci, les variables comme ceci, les types comme ceci.