teach/inf110-lfi.git - INF110 (logique et fondements de l'informatique)

	Commit message (Collapse)	Author	Age	Files	Lines
*	A few clarifications on the syllabus.	David A. Madore	44 hours	1	-7/+7
\|
*	Moodle is the new eCampus.	David A. Madore	44 hours	1	-1/+1
\|
*	Syllabus for 2025–2026 (and commit past years' versions).	David A. Madore	44 hours	1	-18/+19
\|
*	Clarify wording.	David A. Madore	2025-01-24	1	-1/+1
\|
*	Clarify syllabus re Coq.	David A. Madore	2025-01-24	1	-1/+5
\|
*	Update syllabus.	David A. Madore	2025-01-21	1	-48/+42
\|
*	Add year info.	David A. Madore	2025-01-21	1	-1/+1
\|
*	Typeset course syllabus.	David A. Madore	2024-01-19	1	-0/+160