| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rocq is the new Coq.HEADmaster | David A. Madore | 42 hours | 1 | -13/+13 |
| * | A few clarifications on the syllabus. | David A. Madore | 42 hours | 1 | -7/+7 |
| * | Moodle is the new eCampus. | David A. Madore | 43 hours | 1 | -1/+1 |
| * | Syllabus for 2025–2026 (and commit past years' versions). | David A. Madore | 43 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 |
 |
index : teach/inf110-lfi.git | |
| INF110 (logique et fondements de l'informatique) | git repository hosting |
| summaryrefslogtreecommitdiffstats |
path: root/programme-inf110.tex