From 94bc771b16a5159f5baa733abf8a956ee367336f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Thu, 26 Oct 2017 14:43:31 +0200 Subject: [PATCH] Update deadlines --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index dfabc84..1744ac3 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,6 @@ # mpri-coq-project -Projet de cours Coq (2.7.1) du MPRI — WP. \ No newline at end of file +Projet de cours Coq (2.7.1) du MPRI — WP. + +Deadline : probablement jusqu'à ~exam, rien de fixe. +(Examen : probablement 30/11, ~14h)