diff options
| author | David A. Madore <david+git@madore.org> | 2026-01-19 12:39:10 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2026-01-19 12:39:10 +0100 |
| commit | 0d5e4fa561fc1ed2a999a8153cf0c0e31eb65f7a (patch) | |
| tree | fc5e29b70c6f3d016552bac269ce896f070cc64d /programme-inf110.tex | |
| parent | 67bff1da2f98f8e3afb0f5f7bf23ab03100df4e2 (diff) | |
| download | inf110-lfi-0d5e4fa561fc1ed2a999a8153cf0c0e31eb65f7a.tar.gz inf110-lfi-0d5e4fa561fc1ed2a999a8153cf0c0e31eb65f7a.tar.bz2 inf110-lfi-0d5e4fa561fc1ed2a999a8153cf0c0e31eb65f7a.zip | |
Moodle is the new eCampus.
Diffstat (limited to 'programme-inf110.tex')
| -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 |