diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-08 09:10:13 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-08 09:10:13 +0100 |
commit | c42518f0b23529e432f007ce37c83615eab14d8f (patch) | |
tree | 72a4afd9610cf3366a4cb645976a7ce4cbe3d456 | |
parent | Tweak the theme to increase its book vibe (diff) |
Announce coq-coqffi.1.0.0~beta1
-rw-r--r-- | site/news/index.html | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/site/news/index.html b/site/news/index.html index a0b12fc..4129b98 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -2,11 +2,15 @@ <ul> <li> + On <strong>December 16, 2020</strong>, <code>coq-coqffi.1.0.0~beta1</code> + has been published to the <code>opam</code> Coq archive. + </li> + <li> On <strong>November 16, 2020</strong>, we have been notified that our tool paper on <code>coqffi</code> has been accepted to <a href="http://jfla.inria.fr/jfla2021.html">JFLA'21</a>! You - can find the paper <a href="/files/coqffi_jfla21.pdf">here</a>! (2 - pages, in French) + can find the paper (2 pages, in + French) <a href="/files/coqffi_jfla21.pdf">here</a>! </li> <li> On <strong>October 8, 2020</strong>, <code>coqffi</code> has officially been |