1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
<h1>News</h1>
<h2>2021</h2>
<ul>
<li>
On <strong>March 4, 2021</strong>,
FreeSpec packages
(<code>coq-freespec-core.0.3</code>, <code>coq-freespec-ffi.0.3</code>
and
<code>coq-freespec-exec.0.3</code>) have finally been released.
</li>
<li>
On <strong>March 1st, 2021</strong>, <code>coq-coqffi.1.0.0~beta5</code>
has been released.
</li>
<li>
On <strong>February 24, 2021</strong>, <code>coq-coqffi.1.0.0~beta4</code>
has been released.
</li>
<li>
On <strong>January 27, 2021</strong>,
<a href="https://github.com/lthms/FreeSpec">FreeSpec</a> has been
relicensed under the terms of the
<a href="https://www.mozilla.org/en-US/MPL/2.0/">Mozilla Public
License version 2</a>.
</li>
<li>
On <strong>January 24, 2021</strong>, <code>coq-coqffi.1.0.0~beta3</code>
has been released.
</li>
</ul>
<h2>2020</h2>
<ul>
<li>
On <strong>December 16, 2020</strong>, FreeSpec packages have been
published to the <code>extra-dev</code> repository of the Opam Coq
archive.
</li>
<li>
On <strong>December 10, 2020</strong>, <code>coq-coqffi.1.0.0~beta2</code>
has been published to the Opam Coq archive.
</li>
<li>
On <strong>December 7, 2020</strong>, <code>coq-coqffi.dev</code>
and <code>coq-coqffi.1.0.0~beta1</code> have been published to the
Opam 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 (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
published as
a <a href="https://github.com/coq-community/coqffi"><code>coq-community</code>’s
project</a>.
</li>
<li>
On <strong>April 17, 2020</strong>, my first contribution to
Dune <a href="https://github.com/ocaml/dune/pull/3384">has been merged
to <code>master</code></a>.
</li>
<li>
On <strong>April 2, 2020</strong>, I started using the rewriting of
<a href="https://cleopatra.soap.coffee"><strong><code>cleopatra</code></strong></a>
to build this website.
</li>
<li>
On <strong>April 1, 2020</strong>, my first contribution ever to
Coq <a href="https://github.com/coq/coq/pull/10592">has been merged
to <code>master</code></a>.
</li>
<li>
On <strong>February 23, 2020</strong>,
<strong><code>cleopatra</code></strong> has been completely
bootstrapped, in that it generates itself!
</li>
<li>
On <strong>February 15, 2020</strong>, I have tagged and
released <code>colorless-themes-0.2</code>,
<code>nordless-theme-0.2</code>,
and <code>lavenderless-theme-0.2</code>.
<a href="./ColorlessThemes-0.2.html">Learn more.</a>
</li>
</ul>
</ul>
|