Skip to content
This repository has been archived by the owner on Oct 17, 2023. It is now read-only.

Commit

Permalink
chore: Bump date
Browse files Browse the repository at this point in the history
  • Loading branch information
@erikmd
erikmd committed Mar 7, 2022
1 parent c42831e commit 2512792
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/tapfa_coq_2.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ TAPFA - Partie Coq - Preuve assistée
====================================
:Auteurs: Jean-Paul Bodeveix (resp. UE), Erik Martin-Dorel, Pierre Roux
:Date: L3 Info, Semestre 6, Année 2020-2021
:Date: L3 Info, Semestre 6, Année 2021-2022
Supports de ce cours :
Expand Down
2 changes: 1 addition & 1 deletion src/tapfa_coq_3.v
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ TAPFA - Partie Coq - Modules et Types Abstraits
===============================================
:Auteurs: Jean-Paul Bodeveix (resp. UE), Erik Martin-Dorel, Pierre Roux
:Date: L3 Info, Semestre 6, Année 2020-2021
:Date: L3 Info, Semestre 6, Année 2021-2022
Supports de ce cours :
Expand Down

0 comments on commit 2512792

Please sign in to comment.