From 10f9485854bdb5dceae306b9431c63c05616c5d5 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Tue, 17 Oct 2023 22:31:21 +0200 Subject: [PATCH] fix: details --- src/ilu3_coq_1.v | 13 ++++++------- src/ilu3_coq_3.v | 2 +- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/src/ilu3_coq_1.v b/src/ilu3_coq_1.v index 6d67356..f74e558 100644 --- a/src/ilu3_coq_1.v +++ b/src/ilu3_coq_1.v @@ -4,7 +4,7 @@ ILU3 - Partie Coq ================= :Auteurs: Jean-Paul Bodeveix (resp. UE), Erik Martin-Dorel (resp. UE), Pierre Roux -:Date: L3 Info, Semestre 6, Année 2021-2022 +:Date: L3 Info, Semestre 6, Année 2023-2024 Supports de ce cours : @@ -23,8 +23,7 @@ Présentation du logiciel Coq :target: https://coq.inria.fr - Initié par Thierry Coquand et Gérard Huet, et développé par Inria - depuis 1984 (la dernière version stable étant, lors de l'écriture de - ce document, Coq 8.15.0). + depuis 1984, la dernière version stable étant : .. image:: https://img.shields.io/docker/v/coqorg/coq/latest :alt: coq latest version @@ -101,12 +100,12 @@ Rappel : installation de l’environnement de TP Environnement recommandé ~~~~~~~~~~~~~~~~~~~~~~~~ -- Coq 8.15 + Emacs + ProofGeneral + Company-Coq - [cf. `tutoriel `_] +- Coq + Emacs + ProofGeneral + Company-Coq + (cf. `tutoriel `_) -- Carte de référence / raccourcis clavier [cf. Moodle] +- Carte de référence / raccourcis clavier (cf. Moodle) -- Dictionnaire OCaml/Coq [cf. Moodle ; autorisé à l'examen a priori] +- Dictionnaire OCaml/Coq (cf. Moodle ; autorisé à l'examen a priori) Tutoriel d’installation ~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/src/ilu3_coq_3.v b/src/ilu3_coq_3.v index 51d06c8..41899de 100644 --- a/src/ilu3_coq_3.v +++ b/src/ilu3_coq_3.v @@ -4,7 +4,7 @@ ILU3 - Partie Coq - Modules et Types Abstraits ============================================== :Auteurs: Jean-Paul Bodeveix (resp. UE), Erik Martin-Dorel, Pierre Roux -:Date: L3 Info, Semestre 6, Année 2021-2022 +:Date: L3 Info, Semestre 6, Année 2023-2024 Supports de ce cours :