From d5056d6a0e6840c0369a0e23a1a4c6de12891ced Mon Sep 17 00:00:00 2001 From: Yves Bertot Date: Mon, 21 Jan 2019 13:28:53 +0100 Subject: [PATCH] adds 2018 Coq FLoC and 2019 CoqPL workshops in the list --- pages/coq-workshop/index.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pages/coq-workshop/index.html b/pages/coq-workshop/index.html index 7a3326a32158f..76bef8fe754c5 100644 --- a/pages/coq-workshop/index.html +++ b/pages/coq-workshop/index.html @@ -3,9 +3,11 @@

The Coq Workshop brings together Coq users, developers and contributors. It usually consists of one-day events affiliated with larger conferences. This series of events was started in 2009 and now contains the following workshops: