diff options
| -rw-r--r-- | programme-inf110.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/programme-inf110.tex b/programme-inf110.tex index bc2b72d..85ea37f 100644 --- a/programme-inf110.tex +++ b/programme-inf110.tex @@ -108,7 +108,7 @@ Git: \input{vcline.tex} les connecteurs logiques, types inductifs, égalités, etc.). Le nom des tactiques est exigible donc on recommande de préparer un récapitulatif pour l'examen (un tel document est disponible sur la - page eCampus du cours). + page Moodle du cours). \end{itemize} \bigskip |