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
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
<h1>News</h1>
<h2>2023</h1>
<ul>
<li>
On <strong>April 27, 2022</strong>, Spatial Shell is ready for being
tested. It works on my machine, so it will most definitely breaks on yours!
See the <a href="CFTSpatialShell.html">Call for Testers post for more
details</a>.
</li>
<li>
On <strong>April 27, 2022</strong>, <code>coq-coqffi~beta8</code>
has been tagged.
</li>
</ul>
<h2>2022</h2>
<ul>
<li>
On <strong>August 21, 2022</strong>, I have
<a href="https://github.com/lthms/spatial-sway">published on Github</a>
a MVP version of <code>spatial-sway</code>, a dynamic tiling
management daemon for Sway.
</li>
<li>
On <strong>August 15, 2022</strong>, I have
published <a href="August2022.html">my very first monthly
retrospective</a>.
</li>
<li>
On <strong>August 13, 2022</strong>, after more than two years of good services,
<a href="https://cleopatra.soap.coffee"><strong><code>cleopatra</code></strong></a>
is no longer used to build this website.
</li>
</ul>
<h2>2021</h2>
<ul>
<li>
On <strong>August 20, 2021</strong>, <code>coq-coqffi.1.0.0~beta7</code>
has been released.
</li>
<li>
On <strong>June 21, 2021</strong>, <code>coq-coqffi.1.0.0~beta6</code>
has been released.
</li>
<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>
|