diff options
| author | David A. Madore <david+git@madore.org> | 2022-04-12 16:07:33 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2022-04-12 16:07:33 +0200 |
| commit | 601c73fdb6feff250cbcecae6cf7d985f71f4beb (patch) | |
| tree | 0e3a8a2e83431fd0d9e207df98bb5a0e4b11f43f | |
| parent | 2891b4e29dfc0d045a36d6370d502b4901661f02 (diff) | |
| download | inf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.tar.gz inf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.tar.bz2 inf105-601c73fdb6feff250cbcecae6cf7d985f71f4beb.zip | |
Missing comma (thanks, Antoine Amarilli).
| -rw-r--r-- | notes-inf105.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notes-inf105.tex b/notes-inf105.tex index 9967dad..b56b958 100644 --- a/notes-inf105.tex +++ b/notes-inf105.tex @@ -1229,7 +1229,7 @@ servent à ancrer l'expression au début et à la fin de la chaîne respectivement : c'est-à-dire que rechercher « \texttt{a} » recherche un \texttt{a} quelconque à l'intérieur de la chaîne donnée, rechercher « \texttt{\char"5E\relax a} » demande que le \texttt{a} soit au début -de la chaîne donnée rechercher « \texttt{a\char"24} » demande que le +de la chaîne donnée, rechercher « \texttt{a\char"24} » demande que le \texttt{a} soit à la fin de la chaîne donnée, et rechercher « \texttt{\char"5E\relax a\char"24} » demande que la chaîne donnée soit exactement \texttt{a} (cet exemple n'est donc pas très utile, |